Corrections after read-through of new sections.
Added more comments to the TerminationChecker.hs