From Set Unification to Set Constraints