Improve rendering of "none of overloaded alternatives" error

[keynmol]

Sorry for not creating an issue for this, just this error bothered me so much..

Before

After

Questions I have (hence draft PR):

1. Is there anything already that does what MarginString does?
2. Is there anything already that handles this whole where [short type] is [full type] rendering?

TODO:

• stare intensely at the Type hierarchy to see which additional handling logic to add (recursively naming/indexing types)
• configurable page width? though I'm not sure what dotty's default value is

[TheElectronWill]

configurable page width? though I'm not sure what dotty's default value is

The repl uses the JLine library, which provides a method getWidth() (it can be applied on dotty.tools.repl.JLineTerminal.terminal). It would be great to use it, so that it automatically adapts to the console size.

[SethTisue]

Dale (@dwijnand) has been making improvements to the pretty-printer lately, so perhaps he's in a position to review this PR and/or offer tips?

You might try including #16277 and see if anything changes or improves

[dwijnand]

1. Is there anything already that does what MarginString does?

printing.Texts.Text is the closes thing to that.

2. Is there anything already that handles this whole where [short type] is [full type] rendering?

printing.Formatting.explanations handles that

[dwijnand]

@keynmol think you'll be returning to this PR?