Module EvalTypeSource

Evaluates the type of an expression, and return a val_exp with its "type_" field updated (and ditto for the type of its sub expr).

Modif 12/07 :

• Travaille au niveau Lic. donc on vire IdSolver.t qui travaille au niveau syntaxique