Starting HaskellF !!!!
Starting to write unification.
Add .merlin file
Added substitution/normal_form
Implements check_abstraction
Implements update and merge
Reformat typer.ml into multiple files
Improve interface and comments
Fix compilation
Add errors to the lexer
Parse ID0
Some modifications of the lexer.
Implemented unify and polyunify.
Corrected free variables detection.
Now use lists in constructor SForall.
[work in progress] Writting th parser.
Add test for typing
Corrected inference
Fix Schema.split, add test for if
Parser almost complete.
Improve error reporting.
Fix a parser bug.