Minor cleanup in subtype.rkt
Cleanup requires in tc-apply.
Cleanup tc-app-helper.rkt.