more development of unification with sets