Describir: Declarative Programming with Temporal Constraints, in the Language CG.