a model of MIR and the Rust type/trait system - View it on GitHub