- make-disjoint-set-root rankprocedure
Creates a root object. rank is a fixnum.
When uniting two subsets, the root of higher rank will be the chosen as the root of the union. A root loses its rank when it is "demoted" to a normal because it's no longer necessary.