KERML — deriveFeatureFeaturingType conflicts with owningType

Constraint
deriveFeatureFeaturingType
Feature.featuringType is shown as the union of all the typeFeaturings that feature it with the first type of a feature chain. But what is not included is the possible FeatureMembership.
This conflicts with the fact that Feature.owningType subsets featuringType and Feature.owningType is the owningType of an owningFeatureMembership. (Bonus: there is no derived property for codifying that statement of the derived /owningType attribute).

Resolution of this issue may be worth utilizing typeWithFeature in more places instead of featuringType