Is it possible to create "constrained ordinal" types ala pascal?
e.g. say you need numbers only 1..100 and anything else to compile error on literals and runtime error on out of range. Internally it'd be stored and behave exactly like u8 with the added constraints.
This could be really useful for coordinate systems and such where certain values are out of range. Catching any constant/compile time violations is a nice bonus too.