> A DSL for type calculus and transformation rules which produces the compiler > code for type verification and resolution and defines new type > implementations with Nim's existing types as building blocks; is that a pipe > dream or a realistic goal?
A required goal if we want to get out of today's whack-a-mole type system development. ;-)
