let add_type_and_kind_variables denv tenv =
  add_type_variables 
    (List.map (fun (n, v) -> (n, (fresh_kind (), v, ref None))) denv)
    tenv