Rework the semantic net parser of Section 14.3.2 to allow a richer representation of class hierarchies. Specifically, rewrite the definition of match_with_inheritance so that instead of enumerating the common specializations of two items, it computes this by searching a type hierarchy.