Add type tooltip information in TR modules

This lets DrRacket show types for expressions that
are typechecked.