TimeTypes: Cleaning
TimeTypes: Flip argument order of under (use infix, matching Diagrams.under)