See QuantifiedConstraints.

Changing the page name reflects a change in vocabulary. The "context" part seemed confusing, and "quantified constraints" is the vocabulary used in the ICFP paper. Better to be consistent everywhere, going forward.