"But it also has an interpreter, for various purposes, and that interpreter is fairly classic: it's a recursive function that takes a``memoized expression""and an environment as parameters."
The environment was silly--it was just a list of values.