Starting the rewriting of the Typed Lua chapter