* remove constraint on the first argument of Cons: now all kind of expression can be used.
* improvements of the pretty printer
* add documentation
* improve docs
* change in semantic
* add semantic of expressions
* add typing rules for environments, continuations and computations.
* add subject reduction for expression
* end of the proof of subject reduction