Represents a typed AST node.
t:Type
The type of the expression.
pos:Position
The position of the expression.
expr:TypedExprDef
The expression kind.