On Cells r←[x](F◡)y

r is the result of applying F to major cells of [x and] y: r←[x] F⍤¯1 y