Reduction
---------
-Find "normal forms" for the following (that is, reduce them as far as it's possible to reduce
-them):
+Find "normal forms" for the following (that is, reduce them until no more reductions are possible):
1. (\x \y. y x) z
2. (\x (x x)) z