added intersect exp method
+tests
add the difference exp method.
+tests
added the subset exp method
+tests
added the psubset exp method.
+tests
added the dunion exp method.
+tests