Deleted unused module Class from type.ml

	modified:   ocaml/class_table.ml
	modified:   ocaml/type.ml
Function 'split_implication' removed from 'feature_table.ml'

The function 'implication_chain' cannot yet be removed because 'Term.implication_chain'
returns the chain in a different form and 'prover.ml' still depends on the old form.

	modified:   ocaml/assertion_table.ml
	modified:   ocaml/feature_table.ml
	modified:   ocaml/feature_table.mli
	modified:   ocaml/prover.ml
Special treatment of tuples in the type 'typ' (type.ml) eliminated

Tuple types are normal types now generated from the class TUPLE

    A: ANY; B:ANY
    immutable class TUPLE[A,B] end

A tuple has always two generic parameters. The nesting of tuples is right
associative, i.e. we write

    (A,B,C)

instead of

    (A,(B,C))

The same applies to function types, i.e. (A,B,C)->D is a shorthand for
(A,(B,C))->D.

	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
	modified:   ocaml/feature_table.ml
	modified:   ocaml/type.ml
Added formal generics in function and assertion signatures

Note: formal generics are not yet stored in the feature and assertion tables. Just the
names and types of the formal arguments are stored. It is still missing to store the
names of the formal generics and their concepts (i.e. types).

	modified:   library/kernel/any.e
	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
	modified:   ocaml/eiffelc.ml
	modified:   ocaml/feature_table.ml
	modified:   ocaml/prover.ml
Obsolete code deleted

	modified:   ocaml/assertion_table.ml
	modified:   ocaml/assertion_table.mli
	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
Added formal generics with their concepts into the feature table

	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
	modified:   ocaml/feature_table.ml
	modified:   ocaml/feature_table.mli
	modified:   ocaml/prover.ml