On Simple Scalars r←[x](F⌓)y

r is the result of applying F to simple scalars of [x and] y: r←[x] F⍥0 y