let instance_of_hint env hint =
    match get_axiom hint.h_name with
      | Some axdef ->
          let partials = List.map
            (apply_sigma env hint.h_sigma)
            axdef.a_closure
          in Somenew instance axdef partials )
      | None -> None