Improve encapsulation.
Move ValueExtractionSynthesizer specifics to its implementation.
Get rid of references to the interpreter class in the ExecutionContext.