`S.Integers + S.Naturals` can be handled by adding a little bit logic to the `_union` method of either class.  I don't see a simple way to implement `S.Integers - S.Naturals`.