Good idea. But then why not use one of the already available statically/strictly typed languages which compile to Lua or LuaJIT bytecode? See https://github.com/hengestone/lua-languages