How do you efficiently compile a language where the lexical environment must be fully available at runtime in order to be fully accessible by an F-expression? H

How do you efficiently compile a language where the lexical environment must be fully available at runtime in order to be fully accessible by an F-expression? Having any Fexpr in a form to be compiled seems to prevent a lot of possible optimizations and requires raw Lisp forms to be present so they can be passed to an Fexpr as arguments. If I read this article correctly, then it states that Fexprs can help with the speed of macroexpansion, but I see that this cost is then moved to runtime execution of Fexprs; so, since macros are meant to be expanded at compile-time, we get faster compilation, but slower runtime.