MkIface
mkUsedNames
mkDependencies
mkIface
mkIfaceTc
writeIfaceFile
checkOldIface
tyThingToIfaceDecl