Use Set Keyed Unification, close #531.

Should we hold off until we know what's going on with the primitive-projections thing in `Connectedness`?