constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))));
constant("K", make_lam2(u, v, uu));
constant("I", make_lam(x, xx));
constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))));
constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)));
constant("S", make_lam3(u, v, x, make_app3(uu, xx, make_app(vv, xx))));
constant("K", make_lam2(u, v, uu));
constant("I", make_lam(x, xx));
constant("B", make_lam3(u, v, x, make_app(uu, make_app(vv, xx))));
constant("C", make_lam3(u, v, x, make_app3(uu, xx, vv)));