Deleted some unnecessary comments

	modified:   ocaml/term.ml