más locura espiritual: tipos de analizadores (reglas vs int_parser <>) y técnicas de metaprogramación

La pregunta está en negrita en la parte inferior, el problema también se resume en el fragmento de código de destilación hacia el final. Estoy tratando de unificar mi sistema de tipos (el sistema de tipos hace y de un tipo a una cadena) en un solo componente (como lo define Lakos). Estoy usando...