Add a domain_name in the generated error files.
Add a strict symbol adding mode, rename and document functions.
Add a check_ast function to check the well-formedness and typing in a row. Also add comments in mli and adapts existing interfaces.
Start to modify the test framework to be more useful.
Merge code.
rewriting_checker is replaced by type_checking.
Transform parsing_error into syntax_error.
Fix compilation error, move add_symbol up.
Add proper error system for the algorithms.
Update the test framework but it doesn't compile yet.
Update the OCP of the generated files.
Add a print_unknown_exc function.