next step: implement BinaryExprAST