* Improve type checker for untyped syntax. This TC is not tested yet.
* evaluator fails because all changes due to improvements of TC are not present in evaluator yet. The main issue is to add typing environment at runtime if it is wanted to type only one wave after another. For global type checking, new restrictions must be taken…
* 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.