Fixing the type of the Lua Standard Libraries to only use supertypes