add the charliteral method.
+test
add the quote literal method
+test
add the remainder numeric binary exp method.
+tests
add the powerset exp method
+test
added the setenum method.
+tests for set unary expressions.