I=\x.x;
K=\x y.x;
S=\x y z.x y(x z);
O=(\x.x x)(\x.x x);