Removing the typing of the Lua Standard Libraries from the thesis