Clarify a few comments in TR

These are for letrec typechecking and Tarjan's algorithm