clean_typer.ml
