Update typer.ml