Represents a function in the typed AST.
args:Array<{value:Null<TConstant>, v:TVar}>
A list of function arguments identified by an argument variable v and an optional initialization value.
v
value
expr:TypedExpr
The expression of the function body.
t:Type
The return type of the function.