Log: change type of functions throwing exceptions
Cpsfree: update to the changes in Log
Cpsbase: Correct typing problem in with constraints
Cpsast: replace types "modul" and "toplevel" by the simpler "definitions"
Cpsast: added external, new kind of value