added default intersection for symbolic and frozensets + test (powersettest)