Base.TypeExpansion

expandType

expandType'

expandPred

expandPredSet

expandPredType

expandMonoType

expandPolyType

expandConstrType

expandMethodType