Adds subType as a subtype of superType
if either subType or superType does not uniquely refer to a single type. Hint: use IDs.