Fix Appl to App, for consistency reasons.
Fix instanciation function and documentation.
Make the normalization code a bit more simple and consistent.
Add checking for applications.
A definition for plus !
Stop dumping the AST.