Update types-exists.asciidoc