Implemented non-closure lambda hoisting. I need to a good way of doing closure conversion given the constraints. I can actually do the closure conversion translation DIRECTLY IN IL1, but need a suitable encoding of the environment else I have to translate to IL2 with explicit abstraction, which becomes nontrivial if functions propagate and escape.