let rec isdef_templated name env = 
  match env with
      (TyTemplateDef slist)::rest -> List.mem name slist
    | _::rest -> isdef_templated name rest
    | [] -> false