A class abstraction for a hierarchical type system