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)));
- // trush \uv.vu = CI
+ // trush \uv.vu = CI = box
constant("T", make_lam2(u, v, make_app(vv, uu)));
- // mockingbird \u.uu = SII
- constant("M", make_lam(u, make_app(uu, uu)));
+ // vireo \uvw.wuv = pair
+ constant("V", make_lam3(u, v, x, make_app3(xx, uu, vv)));
// warbler \uv.uvv = C(BM(BBT) = C(BS(C(BBI)I))I
constant("W", make_lam2(u, v, make_app3(uu, vv, vv)));
+ // mockingbird \u.uu = SII = omega
+ constant("M", make_lam(u, make_app(uu, uu)));
// lark \uv.u(vv) = CBM = BWB
constant("L", make_lam2(u, v, make_app(uu, make_app(vv, vv))));
// Y is SLL