tl 编译器提供类型检查与代码生成，同时能生成 .d.tl 声明文件，方便为现有 Lua 库添加类型定义。