TimeTypes #167

- Cleaning
Splitting #106

- Adds Splittable laws