lemma Union_family_grown_member; new subsection for "big Union" lemmas
further progress in first step of non-negative payments in wd_outcome