Simplified Generic* type system. United AstExprBinary* types (except AstLogical).