TimeTypes

- Fixes (Transfomable Behavior) instance
  - Removes unnecessary constraints

- Docs