HOL Theory Hierarchy