A Theory of Arrays (ToA) Union Find

One thing I’ve been discussing with Rudi, Michel and Max is union find annotations. Union find enhancements that still feel like union finds.