2013-02-16-09.48.15: Pervasively changed fold_left/fold_right -> fold_forward/fold_backward because after six years I still cannot keep the former two straight, plus for things like column vector there is no left/right, but forward/backward still makes sense.