Makes subType a subtype of superType.
if subType or superType is not in the type schema.
if superType is a subtype of subType or if they are the same type.
if subType or superType do not uniquely define a single type. For example, if they are synonyms of multiple types. Hint: use IDs.