When printing uninstantiated type variables, include their bounds.

Review by @smarter