Add type tooltip information in TR modules

This PR uses the newly added DrRacket API for communicating tooltip information to show the types of expressions in the DrRacket definitions area.