Expand description
Expression type checking - walks every ExpressionKind variant and
returns the static CheckType of the expression.
Expression type checking - walks every ExpressionKind variant and
returns the static CheckType of the expression.