Investigate possibilities for conversion Lua to pure code

[quyse]

Right now Lua code compiles into very monadic code, every stack variable is an IORef. It's probably worth it to replace IORefs with pure let-bindings at least for cases when they are not captured in any closure.