/ Fold r←x(F/)y

r is the result of folding the major cells of y with starting value x using F left-to-right. Supports the backward extra argument, which reduces right-to-left.