Depend on rustc_abi in compiler crates that use it indirectly but have not yet taken on that dependency, and are not entangled in my other PRs. This leaves an "excise rustc_target" step after the dust settles.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.