Fold Back r←x(F⍅)y

r is the result of folding the major cells of y with starting value x using F right-to-left.