ms/union should add multiplicities of operands. With test cases.