Adding text about typing the Lua Standard Libraries