Introduce a section to the programmers manual about type hierarchies,