Optimizations for provable stateless lambdas, lvalue member functions, and free function storage in lua.

Solves the following test cases up until the failing comment:
https://gist.github.com/ThePhD/7867624