It turned out that FunDeps.oclose was unused. So

* Remove oclose

* Rename oclose1 to oclose

* Move growThetaTyVars to FunDeps (from TcMType),
  because the comments treat it with oclose

* Move quantifyPred to TcSimplify (from TcMType),
  because it seemed orphaned