Dexpr: replace Hpv with Mpv ref to ensure persistency

Hpv.fold guarantees no persistency wrt. the order of operations. Dexpr uses mutable maps to track old versions of mutable variables, and the changes in the behaviour of fold affect the shape of VCs, breaking the replay. (Kudos to Guillaume for solving the issue.)