Typer for a simple ML-like language, for educational purposes.