[MaL] Rename Integration.h to WeightedSum.h.