Partial sum implementation

Done. I would really like an `OutputIterable` concept check here but I don't see a way to do it without repeating the whole PartialSummable concept.