EXP-VAR : FLAVOREXP-VAR is a flavor.
An EXP-VAR is used to represent a variable (one which can be
substituted for) in an expansion tree. It has two main properties:
a variable and a substitution (which may be the same as the variable if
no substitution has yet been made.
TPS documentation homepage