Modular sums and modular noise addition

[Shoeboxam]

We should add constructors for aggregation transformations that use modular arithmetic, as well as noise addition mechanisms that add modular nose.

Our current sized_bounded_sum uses a constructor check to ensure that the computation cannot overflow. This can be overly conservative when working with wide bounds.

I'm more in favor of introducing modular constructors than parameterizing the metrics.