Can we avoid the orphan rule for empty traits?

[toc]

@ais523

"compile this code only if this other crate exists in the crate graph within this version range", without being an actual dependency – that would allow that sort of interoperation between crates.

Global features addresses this problem in some capacity.