Turns out it's just a regular interpreter, and there are strict semantics about how things must be named. That's what they meant by metacircular interpreter in SICP, right?