This is the type of the annotations that the validator adds to variables,
i.e. identifiers used as expressions,
i.e. the :ident case of expr.
The information for a variable consists of
the type and linkage of the object denoted by the variable,
as well as the variable'sunique identifier.
