Starting to type Lua standard libraries