some little cleanups
There are two versions of arithmetic commands now. e.g. "Add" for the binary operator, "AddA" for the n-ary version. "AddA ( 7 x1 ... xn )" returns "( 7+x1 ... 7+xn )"