Implemented sub-type hierarchy as part of type-hierarchy.
Earlier type-hierarchy was only showing super-type-hierarchy.