Slightly more elaborate workaround for the Sleator / Tarjan bottom up skew heap unique key requirement.