Rewriting the begining of the section about Typed Lua