Updated binop constraints.