[lkb] Bottom-Up Type Hierarchy

[jin norman]

Hi,

I found that it's usually useful to have a bottom-up type hierarchy which
could tell what a type's parent types are, and what types their parent types
inherit, all the way up to the *root*. In this way, it's easy to tell from
the hierarchy how a leaf type is formed, or in other words the family tree
of a leaf type.
Any advice about this idea? Is it possible to implement it? Has anyone tried
to do it?

Another problem I encountered is that in a complex type hierarchy, it's hard
to recognize which line leads to where. Is there a better solution?

Thanks.

Best regards,
Norman