Docs for IOFile
Docs for InfConfig.scala
Docs for Other.scala
Minor tweaks to InfMethods docs before tackling EstimateCC