> It really could use a fully statically typed layer that compiles down to Lua.
That's Teal: https://github.com/teal-language/tl