Reducers

Reducers over nonrecursive left folds. Pretty happy with this.
This isn’t really a _great_ name for this method, but as you might imagine I’m thinking about implementing transducers in the future. The biggest issue there is that straightforward implementations require e.g. ∀ types.