Exercise 4.22: Extend the evaluator in this
section to support the special form let.  (See Exercise 4.6.)