TimeTypes

- Fixes semantics of under et al
- Docs
TimeTypes

- Fixes Transformable Behavior instance
- Adds tests to verify