Reduce r←(F⍆)y

r is the result of reducing the major cells of y using F, left-to-right.