Exceptions to this modelling policy can be made for special educational or pedagogical reasons, or for a special audience, but in general it's good advice (and saves clutter).
There are also cases where you may wish to display, for example, the feature type in the symbol header (because you don't have a relationship symbol for that), but already have a relationship symbol for subsetting from the feature:
w : Wheel :> wheels[4]
Clearly this policy can't then satisfy both modes at once. The same applies for mixed cases involving redefinition etc.
