Cryptol.TypeCheck.Solver.Numeric
numericStep
simpFin
goalOrderModel