TimeTypes #167

- Restrict types of articulation combinators etc