Editorial

Deleted comments, replaced recursive function by a loop.

	modified:   ocaml/context.ml
	modified:   ocaml/typer.ml