Add MustAdd and MustUnion, return not for chaining but for errors

Which makes me think I could make Union(a, b *IntSet) error proof by Copying
the set with the greatest UniverseSize.  So I did just that.