Split sum-modification from sum-visitation.
Split sum-modification from sum-visitation.

Currently, we're both computing values and modifying sums in one step, which is
not very nice. This splits the modification parts from the traversal parts
where feasible. There's some almost-duplication in the mod/div simplifiers
which could probably be cleaned up, but so far I failed to find a good name for
it.
