Cryptol.TypeCheck.SimpleSolver