Adds big-step Arith.
Small-step untyped lambda calculus