We do not scope on the backward references.
We must scope twice: once on the metaclass and once on its feature.
Scope 1: Does the metaclass contain at least one feature with the required type?
Scope 2: Does the given feature return the required type?