Add ConstrainedSet.
Add ConstrainedSet inversion: ~ set.

This returns a set that contains "all valid elements that aren't in
``set``".