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