fix(pm): teach check-widening-tells the declaring helpers, as a named list with a counterfactual pin

fix(pm): teach check-widening-tells the declaring helpers, as a named list with a counterfactual pin #9162