val omega = APP (LAM ("x",APP (ID "x",ID "x")),LAM ("x",APP (ID "x",ID "x")));
val iomega = IAPP (ILAM ("x",IAPP (IID "x",IID "x")),ILAM ("x",IAPP (IID "x",IID "x")));
val comega = CAPP (CAPP (CAPP (CS,CI),CI),CAPP (CAPP (CS,CI),CI));
val bomega = BAPP (BLAM (BAPP (BID 1,BID 1)),BLAM (BAPP (BID 1,BID 1)));
val ibomega =IBAPP (IBLAM (IBAPP (IBID 1,IBID 1)),IBLAM (IBAPP (IBID 1,IBID 1)));