let rec gettype_fun name env = 
  match env with
      (TyFunDef (s,t))::rest when (s = name) -> t
    | _::rest -> gettype_fun name rest
    | [] -> raise Not_found