Minor notes; some correctness fixes for labels in flow; docs for disjoint set, and a first go at same for var_ops.cache.CacheFactory (UUUUUUUUUUUGGGGGGGHHHH, what a thankless task); minor improvement to number_ops.complex.New