If a template instantiation uses a typedef'd name as a template parameter, this is usually resolved
to its underlying type when we generate the name of the instance in the debug info.
PS4 prefers to see the original parameter as in the source. Define an option that makes that happen,
and have the default for the option depend on debugger tuning.
This also provides some motivation for D14358.