Added some thoughts on how to find proofs

	modified:   library/kernel/boolean.e
	modified:   ocaml/proof.ml
First proof of 'a=>' successful, but structures need to be improved

	modified:   library/kernel/boolean.e
	modified:   ocaml/assertion_table.ml
	modified:   ocaml/class_table.ml
	modified:   ocaml/class_table.mli
	modified:   ocaml/container.ml
	modified:   ocaml/feature_table.ml
	modified:   ocaml/feature_table.mli
	modified:   ocaml/proof.ml
	modified:   ocaml/term.ml