TimeTypes: Swap name of time' and time