The SLG solver TODO: https://github.com/rust-lang-nursery/chalk/blob/master/chalk-engine/src/README.md