There is Teal language that has type annotations and could output plain Lua: https://github.com/teal-language/tl