Hey all- It was just by weird coincidence that I was working on something quite similar to all this for another side project, which is why I had an answer at hand originally.
So I went ahead and checked in a working version of my constrained REPL plus a constrained environment in the (sandy sandy) module found here: https://github.com/spk121/guile-web-sandbox/tree/master/module/sandy Since it was a minor change, I also did one using the (ice-9 sandbox) like Arne suggested. You can see both in sandy.scm in that directory. Regards, Mike Gran