exp_sel case of full narrowing

Observation: for the "weak" form of narrowing (currently called
pr_narrow_subdecs), which is only for exp/has/subtyp/subdec/subdecs,
we would also have to apply narrowing on the conclusion of the IH
Note that DotTransitivity uses a simpler "has" judgment without expansion => subdecs narrowing is much simpler