Changed the grammar to be SML-like. Can correctly build AST for
ackermann and factorial examples.