Exercise 4.20 - introducing letrec
Exercise 4.21 - a silly little trick to pass a lambda to itself as an argument, thereby giving itself a NAME it can use for recursion. a special case of the so-called Y operator?