update AST::BinaryExpr and AST::UnaryExpr; Analyze::TypeHelper defined