Extended Abstract: Mutable Objects with Several Implementations. - Matt Kaufmann; Yahya Sohail; Warren A. Hunt Jr. (CoRR, 2025)