Evaluator's data structures, and exercise 4.11