symbolic set cleanup: deleted double _len_ methods
test changes. Eliminated variable inside test and set min_max int to other values (test passed)
fixed wrong union test (NAT1\/NAT=NAT).
__or__ and __and__ special methods ( | & ) now call intersection and union methods or fail