Section 1.2.2, about tree recursion. Exercises 1.11 and 1.12