Added 'unify_unique_*' functions to term table

	modified:   term_table.ml
	modified:   term_table.mli
Added features to classes by a function and no longer manually

	modified:   ocaml/context.ml
	modified:   ocaml/feature_table.ml
	modified:   ocaml/support.ml
Fix: Modules now inserted in the correct order

Modules form a partial order with the relation 'module a uses module b'.
The used modules must have a lower index than the corresponding using
modules.

	modified:   ocaml/class_table.ml
	modified:   ocaml/context.ml
	modified:   ocaml/context.mli
	modified:   ocaml/eiffelc.ml
	modified:   ocaml/feature_table.ml
	modified:   ocaml/module_table.ml
	modified:   ocaml/module_table.mli