let fresh_unnamed_rigid_vars pos env vars = 
  let rqs, denv = variable_list Rigid vars in
    rqs, 
  List.map (function (n, TVariable v) -> (n, (fresh_kind (), v, ref None))
            | _ -> assert false)
    denv