This pull request adds the definitions gmultiset_disj_union_list and gmultiset_bind.
gmultiset_disj_union_list
gmultiset_bind