Add null bindings for formal lambda arguments at compile time
Propagate the current environment throughout the Pattern matching process
Allow lexical bindings to shadow nested syntax literals