Statically Typed Lua