The core trait solving engine used in Chalk. This engine is meant to be reusable across other projects, most notably the Rust compiler itself.