added fallback methods in Symbolic set base class: equality, uneq, union, intersection cart, set dif, membership and S(x)