Datastructures for types and terms updated

	modified:   ocaml/container.ml
	modified:   ocaml/proof.ml
	modified:   ocaml/support.ml
	modified:   ocaml/type.ml