Typer for a simple pure functional subset of OCaml for educational purposes.