The node containing a variable
the type.
Interprets the TypedMst node with this Algebra and optional arguments.
Interprets the TypedMst node with this Algebra and arguments.
Interpret this TypedMst node as expression.
The symbol of the variable.