* the new type checker and evaluator compile! I have do make tests now…
* the first (small) test validate the untyped evaluator
* improve evaluation strategy: it is now completely untyped.
* test successfully the type checker.
* fusion of typing branch in the GADT branch (resolved with mine)