[negset] Add new functionality: difference and more

Add difference interset? disjoint? superset? subset? functions.
Add equiv to NegSet.

Clean up implementation to use reduce (using reduced).
[negset] Add possible data reader for negsets.