Comment by jeandrek

The less-eval-friendly thing is R5RS only requires two possible "environment specifiers" (2nd arg to eval), returned by SCHEME-REPORT-ENVIRONMENT and NULL-ENVIRONMENT, with no special form or procedure to get the current lexical environment; and R4RS (I just checked) does not specify eval. There's pretty much no manipulation of environments in the standard; the best is something like

  ((eval `(lambda (foo) ,exp) (scheme-report-environment 5))
   foo)

(can't really think of applications for getting the current environment right now except for pseudo-macro stuff)