Changements d'organisation / modules :
--------------------------------------

  AVANT					APRÈS
  ================================	===============================
  Std, More_util			lib/util.ml

  Names					kernel/names.ml et kernel/sign.ml
    (les parties noms et signatures ont été séparées)



Changements dans les types de données :
---------------------------------------
  dans Generic: free_rels : constr -> int Listset.t
                  devient : constr -> Intset.t

Changements dans les fonctions :
--------------------------------

	Vectops.
	  it_vect          ->  Array.fold_left
	  vect_it          ->  Array.fold_right
	  exists_vect      ->  Util.array_exists
	  for_all2eq_vect  ->  Util.array_for_all2
	  tabulate_vect    ->  Array.init
	  hd_vect          ->  Util.array_hd
	  tl_vect          ->  Util.array_tl
	  last_vect        ->  Util.array_last
	  it_vect_from     ->  array_fold_left_from
	  vect_it_from     ->  array_fold_right_from
	  app_tl_vect	   ->  array_app_tl
	  cons_vect	   ->  array_cons
	  map_i_vect	   ->  Array.mapi
	  map2_vect	   ->  array_map2

	Std 
	  comp           ->  Util.compose
	  rev_append	 ->  List.rev_append

	Termenv
	  mis_arity      ->  instantiate_arity
	  mis_lc	 ->  instantiate_lc	

	Printer
	  gentermpr	->   gen_pr_term

	Typing, Machops
	  type_of_type     ->  type_of_sort
	  fcn_proposition  ->  type_of_type