support for "?" in the Lua reimplementation of checks
support for type annotations in ast_to_luastring
better logs, better guessing of index types