TcInteract
solveInteract
type AtomicInert
tyVarsOfInert
data InertSet
emptyInert
updInertSet
extractUnsolved
solveOne
foldISEqCts