more exp_to_exh_correct, but cheated application case

looks to need something about exp_to_exh producing the same thing when
given a supermap of the exh?