added the dinter exp method
+test
add some more tests.
added the comma sympol ","
added the exists exp method.
+tests for it
added the Exists1 exp method.
+tests