Use Nef_nary_union for unions.