type/nominal library

Classes

HTNominalType
A type checks ids and its super types.