datatype identical in form to Core syntax, but such that every
``node'' of a Core expression can be annotated with some information
of your choice. As an example, the type of a pass that attaches a
@Set@ of free variables to every subexpression in a Core expression
datatype identical in form to Core syntax, but such that every
``node'' of a Core expression can be annotated with some information
of your choice. As an example, the type of a pass that attaches a
@Set@ of free variables to every subexpression in a Core expression