Initial work on adding physical units

This code typechecks, but doesn't work, and doesn't pass tests either.
Add unit unit tests
Add unit conversion checking
This could do with a constant extracted
Remove unused imports