print type inferences backtraces
qualify name