Fix Multiset.agda