Add article ‘Type-Checking in Lua’