binop and assign typechecking