basically, this would add 1 basic dichotomy for relations : "mono-subtype" and "hetero-subtype" ; if we could explain the interaction of subtypes...