Rename multiset "union" into "sum"
The union should take the max of the multiplicity, whereas ours takes the sum. The operation that we currently have should thus be called "sum".
I suppose this means we need an operational type class for "sum" too. What would be a reasonable symbol?