update narrowing/exp_preserves_sub_pr to use cbounds, problems:

both problems are in exp_preserves_sub_pr/case subtyp_trans:
1) does cbounds_decs for the decs of the middle type hold? Needed to invoke narrowing.
2) applying narrowing-IH on conclusion of exp_preserves_sub-IH which might be bigger