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? ⊎?