TimeTypes

- Fixes semantics of under et al
TimeTypes