Text this: Temporal Type Theory