enhancements to ProducedTypeNamePrinter for IDE doc hover