Some code added to new_prover

	modified:   ocaml/new_prover.ml
Added export to file any.e

	modified:   library/kernel/any.e