Move grammar checking: binaryExpression