Cryptol.TypeCheck.Solver.Improve