add spec to BinaryExpr

spec of constructor