tweaked ocaml.fs; some more perf improvements in pre-typing---do not redundantly include a named domain function type, since it may  trigger redundant substitutions later