Minor edits in Types documentation