Text this: Declarative Programming with Temporal Constraints, in the Language CG