promote accumulator and result to multisets