Trying another formatting style to the section about Typed Lua and sketching the file userdata