Proof repair across type equivalences. - Talia Ringer; RanDair Porter; Nathaniel Yazdani; John Leo; Dan Grossman (PLDI, 2021)