Update 10-09_hof-typed.asciidoc

I'm pretty vague on core.typed, but I think this is a typo.....?
Alan