It would be useful to allow modules as an argument to eval
in addition to environments. This could be done with a special
syntax, or just the module name as a list.
R6RS has a procedure environment which accepts multiple arguments which look like import specs, and returns an environment suitable for passing to eval that contains just the imported names. So (environment) is equivalent to R5RS (empty-environment), (environment '(scheme base)) returns a base environment, and so on. That makes a lot of sense to me.
I also think that the R6RS environment procedure is extremely useful.
We voted to add the R6RS procedure.