Reducers

Reducers over nonrecursive left folds. Pretty happy with this.
Trying to implement this in terms of `ReducerOf` resulted in compiler crashes. The implementation was simply less comprehensible, too.