
  TYPE
    clt$type_conformance = (clc$no_conformance_to_type,
          clc$conforms_to_generic_type, clc$conforms_to_type,
          clc$identical_types);

