Add multiset-sum primitive

[RiscInside]

multiset-sum combines values from both multisets together, allowing for rules such as

(rewrite (Add (Sum  xs) (Sum ys)) (Sum (multiset-sum xs ys)))

In my understanding, this primitive is crucial for modelling associative + commutative operations with multisets, but I might be missing something.

[saulshanabrook]

Thank you for this!

Yeah it was not intentional... I just surfaces the primitives necessary to recreate an example to start and figured they could grow based on user need.

So happy for more PRs to expose more things, including more holistically.

[codspeed-hq]

CodSpeed Performance Report

Merging #471 will not alter performance

_{Comparing RiscInside:multiset-new-primitives (53c8f01) with main (2c8d947)}

Summary

✅ 8 untouched benchmarks

[RiscInside]

I did also consider adding other operations (union, intersection, and difference), but I don't immediately see a use-case for any of them (intersection/union also have a problem of being fragile to new equalities, e.g. {e1, e1, e2} union {e1, e2, e2} before and after e1 and e2 merge).

[saulshanabrook]

Sounds good.

Multiset should work with rebuilding canonicalization, but it would be good to add test for this (not related to the work in this PR necessarily). Meaning that if you have {a: 1, b: 1} and then a and b are unioned, the resulting multiset should be {(a | b): 2}. That is handled in canonicalize.