Intersection r←x∩y

r is the intersection of the major cells of x and y, i.e. the cells of x that appear in y: r←x⌿⍨x∊y.