more helpers in TypeInference