Base.TypeExpansion
expandType
expandType'
expandPred
expandPredSet
expandPredType
expandMonoType
expandPolyType
expandConstrType
expandMethodType