Still typing Lua standard Libraries: basic functions