let get_any_type_of i =
  let si = string_id#get_name i
  and k = ref (-1)
  and tk = ref (Base(Nat)) in
  Hashtbl.iter
    (fun j sj ->
      try 
        if (i <> j) && (si = sj) then
          (tk := type_table#get_type j;
           k := j)
      with Not_found -> ())
    string_id#get_tab;
  if !k <> -1 then
    !tk
  else
    raise Not_found