Remove code that handles #<undefined> in TR

This PR removes the code in `tc-let-unit.rkt` that handles `Undefined` tracking in `letrec` forms. Since Racket no longer leaks the undefined values, TR does not necessarily need to track them statically.

This does mean that uninitialized variable errors may occur in code that typechecks, but that is probably more acceptable than false negatives.