Almost complete version of union of sets, needs some more testing.
Fix union as far as current test go.
Merge branch 'master' into union-sets
Remove comments.