Documenting the syntax of Typed Lua