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