comments in CCMultiSet.mli, to explain meet/intersection/union