Change opUnion for multiset union
Fix multiset union pretty printing
Fix counter_multiset example to use new operator