There is a language [1] that type check by adding comments instead of fixing Lua (like Flow comment syntax [2]), I wonder if the Luau team has considered this language.

[1] https://github.com/devcat-studio/kailua

[2] https://flow.org/blog/2015/02/20/Flow-Comments/