Simplified 'has_value' to 'has' in module 'Option'

	modified:   ocaml/container.ml
Made the module 'Term.Sub' publicly available

	modified:   ocaml/term.ml