Implemented singletonSet, union, intersect, diff, forall, exists and map methods. WIP testing.