some class renaming and splitting the property hierarchy inference on
two (one is used when traversing told subsumptions and the other when
inferring a subsumption due to reflexivity of one side in a property
composition).
better code comments.