better unit typing

[devsnek]

right now all units are aliases for primitive types. I think in the long term it would be better to reify units as specializations of primitive types, so for example a Number<feet> cannot be assigned directly to a Number<meters>.