type hierarchy info