BinaryExpression now extends TreeExpression