Rename multiset "union" into "sum"
See https://en.wikipedia.org/wiki/Multiset#Basic_properties_and_operations
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? ⊎?