IntEqClasses: Let join() return the new leader