TimeTypes #167

- Adds comprises, overlaps etc