The Rust type checker (experimental).