The core trait solving engine used in Chalk. This engine is meant to be reused by rustc. Other projects may of course re-use it too, if you have a need, but don't expect much stability in the interface yet.