API change for Multiset, which is now a functor and deals with
very large multiplicities of elements (using Zarith!)