Improve message when simplifying type display at the REPL.

Closes PR14159.
Document type generalization.
Fix line breaks in the docs.