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.
I guess my thought was that any fixed-length vector would be better expressed as a prefab, not that we should add extra info in the type of the prefab.