Fixtype of alists from symbols to variable information.
These are used to represent scopes in the symbol tables for variables.
They are also used to represent information about the formals of an ACL2 function. This is a slightly different use than in symbol tables.