Alternatively, implementation deals themselves have `upgradeTo()` qualities managing how upgrades do