I like the idea of keeping the 'via imports' as footnotes - they're a bit like the reference section of a wikipedia article, you don't want it to cloud the main focus of the error message.
@ekuber is bang on the money that the locally available type name should be the short version (and showing crate version numbers when you have two versions of the same type would be F.A.B.).
Less scary compile errors are going to reduce the learning curve for new rustacians and us humans will spend less time parsing these compiler errors. Win-win. 