@type t() :: %Theoria.Simp.Result{
  input: Theoria.Term.t(),
  proof: Theoria.Term.t() | nil,
  proof_strategy: atom() | nil,
  realized: Theoria.Equation.Realized.t() | nil,
  steps: [Theoria.Simp.Step.t()],
  stopped: :normal | :fuel,
  term: Theoria.Term.t(),
  type: Theoria.Term.t() | nil
}