Fixes to type hierarchy navigator. Added '*' for
parent types that we've already seen, but not for
leaf node types with multiple parents, e.g. (currently)
VideoGame. Renamed traversal function to indicate that
it is HTML specific. We should make similar for a JSON view.