Some advances in the semantic analyis

- Moved "Symbol_table" from "support.ml" to "container.ml"
- Added class names as keys to the class table in "type.ml"
- Updated eiffel code for boolean and predicate

	modified:   library/kernel/boolean.e
	modified:   library/kernel/predicate.e
	modified:   ocaml/container.ml
	new file:   ocaml/eiffelc.ml
	modified:   ocaml/lexer.mll
	modified:   ocaml/parser.mly
	modified:   ocaml/proof.ml
	modified:   ocaml/support.ml
	modified:   ocaml/type.ml