Elaboration of expressions and dictionnaries OK
Next step : refactoring, then typeclasses inference