See [QuantifiedConstraints](quantified-constraints).
See [QuantifiedConstraints](quantified-constraints).
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.