Started to type Lua standard libraries: modules, string, table, math, and bit32