Remove redundant code.
Improve documentation.
Private datamembers go up front.
Document.
Move the ExecutionContext-specific parts from the Interpreter.
Lookup might trigger deserialization.
Fix warnings.