Text this: Linear temporal constraints for sketch-based synthesizers.