The type checker with type inference is fully integrated

	modified:   library/kernel/boolean.e
	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
	modified:   ocaml/context.ml
	modified:   ocaml/eiffelc.ml
	modified:   ocaml/feature_table.ml
	modified:   ocaml/feature_table.mli
	modified:   ocaml/prover.ml
	modified:   ocaml/signature.ml
	modified:   ocaml/typer.ml