Multiset set notation

This MR adds a notation {[ x1 ;+ .. ;+ xn ]} for {{ x1 ]} ⊎ .. ⊎ {{ xn ]}.

Todo:

• bikeshed about notation
• port tests in !231 (merged) to new notation

Fixes #100 (closed)