swift234

[Serialization] Shorten extension USRs.

We actually do not need to pre-append the USR of the extended nominal;
a short mangling-incompatible prefix will sufficiently do the trick.

Suggested by @jrose-apple.