TypeInference: fixed bug in Binop