Update typecheck.ml