Added evaluations section to grammar, updated the adder example to show off feature.