Added folding and normalizing functions

	modified:   ocaml/term.ml