Fix the functions about term shift and substitute.
Add a simple unit test structure
Fix the evaluation and add the pretty printer function.
First draft of inference algorithm.
Finish to implement the first draft of the type inference algorithm.
Add the main example about constraint set generation and fix a little
issue about the function ``uvargen'' in order to not repeat an
unnecessary unit parameter (a simple refactoring).