Simplifying and fixing some edge cases in iset-union.
Fixes issue #212.