Improving tclWITHHOLES which did not see undefined evars up to
restriction, after last fix commit which precisely possibly restricts
evars of a term "t" in "apply t in H" without resolving them.
Less ocaml warnings.