¹⁰rec-map-sum is one of DMM core primitives for V-values implemented in [11] which performs addition of V-values