Starting to use Typed Lua to type Lua Standard Libraries