Still typing Lua standard libraries: basic functions