Cryptol.TypeCheck.Solver.SMT