More complex type systems absolutely support asserting the units of a value in the type system. For example, here's an implementation of SI types in C++: https

More complex type systems absolutely support asserting the units of a value in the type system. For example, here's an implementation of SI types in C++: https://github.com/bernedom/SI https://github.com/bernedom/SI