TypeInference: fixed various mgu's