Adding information about gradual typing and Typed Lua type system