Find "normal forms" for the following (that is, reduce them as far as it's possible to reduce
them):
-1. (\x \y. y x) z
-2. (\x (x x)) z
-3. (\x (\x x)) z
-4. (\x (\z x)) z
-5. (\x (x (\y y))) (\z (z z))
-6. (\x (x x)) (\x (x x))
-7. (\x (x x x)) (\x (x x x))
+ 1. (\x \y. y x) z
+ 2. (\x (x x)) z
+ 3. (\x (\x x)) z
+ 4. (\x (\z x)) z
+ 5. (\x (x (\y y))) (\z (z z))
+ 6. (\x (x x)) (\x (x x))
+ 7. (\x (x x x)) (\x (x x x))
*Booleans*