Doesn't this do the same?
type
Gen_Stat[V:static[auto]] = V.type
true_t = Gen_Stat[true]
Run> It would be really cool if I could limit the actual values you can supply to > the variable But they are limited already... Compilation breaks witha an appropriate message for smth like `var a:true_t = 5`. But maybe I misunderstood what you want.
