change print methods to render into a string, which is more useful for diagnostics

and for handling precedence of types more accurately

llvm-svn: 39177