Version before error refactoring.

Version after error refactoring.

Added proper error management to the AST module.

The last commit with the old AST design and smt-expr-derive sub-libra…

…ry still existing.