[eval2] Reenable the interpreter, improve manual.
[eval2] Fix the choice of compiler vs. interpreter in EVAL-IN-LEXENV.
[eval2] Improve manual.