mergeBodies: DRY unifyWithHole