This pull request adds a definition for gmultiset_disj_union_list, mirroring union_list.
gmultiset_disj_union_list
union_list