val dupe = LAM ("x", APP (ID "x", ID "x"));
val omega = APP (dupe, dupe);
val iomega = V omega;
val comega = U omega;
val bomega = O ["x","y","z"] omega;
val ibomega = V' bomega;