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 Some( new instance axdef partials )
| None -> None