Prelude of Chapter 4.1
Exercises 4.1, 4.2
Exercise 4.4
Exercise 4.6
Exercise 4.7
Exercise 4.11
Exercise 4.12
Exercise 4.13
Playing with evaluator