Function type_check_expression 

pub fn type_check_expression(
    ast: impl Into<Arc<Expression>>,
    opts: ExpressionTypeCheckOptions,
) -> WithTranslationErrors<TypedExpression>

Type-check an expression AST node with configurable options.