Starting to port the current typing of the Lua Standard Libraries to its description file