* improve evaluation strategy: it is now completely untyped.
* test successfully the type checker.