let rec remove_template_def env = 
  match env with
      (TyTemplateDef _) :: rest -> rest
    | cur :: rest -> cur :: (remove_template_def rest)
    | [] -> []