TW.Check

data DefinedType

builtInToDefTy

typeDefToDefTy

checkModules