Avoid computing type tooltips twice

The logging code in tc-toplevel.rkt is sufficient to get
all the type tooltips.