scheme :: BINOP_2:sch 13
CLambda2D{ F1( Complex, Complex) -> Complex } :
ex f being Function of [:COMPLEX,COMPLEX:],COMPLEX st
for x, y being Complex holds f . (x,y) = F1(x,y)