A simple prototype of the orphan rule from Rust's coherence system