error message formatting

[David Cogen]

> To be concrete, I think if we check to see if the type of a template
> parameter is the default value for the parameter, it be not printed
> if it would have been the last one printed.
> 
> Also, if there exists a typedef name for a type, then we use the
> typedef name instead of the real name, if the real name is a template
> of some kind.

Yes (to both). Are these going to be difficult to implement?

I presume something similar will need to happen for gdb and other tools. I.e.,
there is no way that a change to gcc will make it happen "for free" in the
other tooks?

What if there is more than one typedef for a template? Is there an obvious
algorithm to choose the "correct" one? 

-- DavidC