modifications to get past the totality checker of idris v0.9.10.1
fix ImperialUnits: type declaration without implementation