Not sure what you mean. I understand that the compiler figures out what to do. My point was that it might be useful to remove certain restrictions from empty-en

Not sure what you mean. I understand that the compiler figures out what to do. My point was that it might be useful to remove certain restrictions from empty-environment closures to allow them to be used in more contexts, such as wherever a regular `fn` could be used (like for FFI callbacks).