Fixed several bugs in set unification, but there are more before it works right.