New dref introduction [u] (60) moves each assignment to a single u-variant.
Used by singleton_mem_intro_iff, encard_le_of_mem_intro, singleton_mem_cumul_randomAssign_pair, vp, singleton_mem_dom_intro_comp_iff, image_mem_intro_iff, singleton_mem_dom_distW_intro_iff, singleton_mem_dom_schema_iff
Used in Minor2026