let rec isdef_var name env =
  match env with
      (TyVarDef (s,_))::rest -> ((s = name) || isdef_var name rest)
    | _::rest -> isdef_var name rest
    | [] -> false