TimeTypes

- Reversible class
  - Laws and basic instances
  - TODO check laws for behavior
  - TODO auto-checking

- Normalized
  - Add Num instances etc