TimeTypes #167

- Isolates lifted instances