numeric algorithm adjacent_difference

Where do we concept-check that `I`'s value type is `CopyConstructable` and `MoveAssignable`, I wonder? Best to double-check this (and perhaps `PartialSummable`, too).