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