protected class Resolver3.Binding<T>
extends Object
Stack frame which memorizes a particular single rewriting clause, mapping an identifier
to an expression.
The chain of all rewritings is realized as a linked list by the field predec.
The start of the chain is dynamicaly kept in Resolver3.currentLocalSubsts.
The type parameter T is the type of the bound values.