Use `disqualified` for conflicting system param error B0001

[Jondolf]

The error for conflicting system parameters is very unreadable, mostly due to the long path names:

The above case isn't even close to the worst I've seen.

We should shorten the paths with the new disqualified crate to help with readability. We could also consider adding some linebreaks and other formatting to the error message.