Update hof-typed.asciidoc