Mult/div nearly working.
Typeclass dimensions mostly complete. Performance is horrible.