New wbtree-fold operator

There is now a new wbtree-fold operator, similar in spirit to the
standard CL reduce function. The contract is similar but not exactly
the same (in particular, the fancy initial-value/singleton sequence/
empty sequence stuff is not implemented.