Weighted norms dev

Move Sum to operator_arithmetic as MappingSum dev

Split out and generalise Weighted dev

(0) -30 -10 -3 +3 +10 tip

mercurial