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.
@rfindler Is there a reason not to make the expansion/check-syntax communication a prefab struct instead of a vector?