[gijsfnwt] Units and types

I have yet to see a programming language do units and dimensional analysis right. I don't know what it would look like. Types?

Mathcad did a reasonable job for an interactive tool.

The next step would try to do vectors and tensors independent of their origin or basis.