Lev r←[x](F⫣G)y

If x is not provided, r is F y; if x is provided, r is x F y.