Std.HashMap UInt64 Lean.Expr →
  Std.HashMap Lean.Grind.CommRing.Poly Lean.Expr →
    Std.HashMap Lean.Grind.CommRing.Mon Lean.Expr →
      Std.HashMap Lean.Meta.Grind.Arith.CommRing.RingExpr Lean.Expr →
        Std.HashMap Lean.Meta.Grind.Arith.CommRing.SemiringExpr Lean.Expr → Lean.Meta.Grind.Arith.CommRing.ProofM.State