arithmetic expressions exampl

Evaluator works; desugaring does not.