working on more tests
more work on set unification