Shorten `<Foo as Bar>::quux` to `Foo::quux`

[benfrankel]

I want to use disqualified to display system names while stepping. system.name() is the fully qualified name, which is unreasonably verbose. ShortName::from(&*system.name()) helps a lot, but it leaves some system names that could be shortened further.

For example:

// Before:
Pipe(<HealthConfig as Config>::progress, <<HealthConfig as Config>>::progress as ProgressReturningSystem<Progress, (IsFunctionSystem, fn(ConfigRef<HealthConfig>, Res<AssetServer>) -> Progress)>>::track_progress<BevyState<Screen>>::{{closure}})

// After:
Pipe(HealthConfig::progress, HealthConfig::progress::track_progress<BevyState<Screen>>::{{closure}})

This probably applies to type names as well.

[BenjaminBrienen]

It would be nice and clean, but I will mention that <Foo as Bar>::quux and <Foo as Baz>::quux would both be shortened to Foo::quux.

[benfrankel]

Yes that's true. I figured that's still within specs because ShortName already loses information (a::Foo and b::Foo both become Foo).