I tried to use Teal before and had some issues even getting it to compile ... but the Lua language server actually has pretty good type checking.

Another option is https://typescripttolua.github.io/