Curry.ExtendedFlat.TypeInference
dispType
adjustTypeInfo
labelVarsWithTypes
uniqueTypeIndices
genEquations