Text this: A Substitution Operation for Constraints