Rust: Derive source/sink/barrier MaD implementation models from trait models