Add quantified-constraint coercion function

[treeowl]

We can use QuantifiedConstraints to provide a powerful but somewhat fragile universal coercibility constraint.

[chessai]

Thanks!!