TypeInference: fixed binding bug