Snoble cumulative sum

@avibryant branching off of master now so that I can compile the source... sad this produces a `Grouped` instead of a `This`
It turns out that having that optional U is just really useful because in one place you don't care if it's there so it's nice to not have to case on Left/Right. And it's a nice filter in the flat map.