add spec to BinaryRelation

spec for constructor
Merge branch 'AST'