Kernel language for Id.A refinement of P-TAC, used as an intermediate language for Id.Lambda-calculus with first-class let-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)