Update scheme full-arithmetic to produce ASTs
Add full-arithemtic test cases