adds paralell binop typechecking