Kernel language for Id. A refinement of P-TAC, used as an intermediate language for Id. Lambda-calculus with first-classlet-blocks and I-structures. ["A syntactic Approach to Program Transformations", Z. Ariola et al, sIGPLAN Notices 26(9):116-129 (sept 1991)]. (1996-07-22)