((% x. x + 2) 1)
((% x. x + 2) y)
((% f. (f 3)) (% x. x + 2))
(((% x. (% y. x + y)) y) 3)
((%x. (% y. x + y)) y)
