strengthen constrain_interpretation_equal_on

it doesn't need the full well_formed_constraints assumption
updates for change to equal_on_def