let add_type_variables var_env env = 
  { env with type_info = 
      List.fold_left (fun env (x, k) -> Env.add env x k) env.type_info var_env }