DDC.Type.Collect
freeT
freeVarsT
class FreeVarConT c
collectBound
collectBinds
data BindTree n
data BindWay
class BindStruct c
data BoundLevel
isBoundExpWit
boundLevelOfBindWay
bindDefT