The current Env is already opaque. It might turn out implementing environments with functions is faster, because copying is faster and sharing is improved. If so, we lose nothing by switching.

I'm not saying the current implementation is ideal - it would be good to be able to look into an environment and see actual values. But I have no ideas how to allow for call by need and have them be transparent and memory efficient.