Major update

* Fixed some serious issues with clash of notation and macros
* Fixed notation issues (stacked widehat, bold Greek)
* Various typos and improvements
Merge branch 'master' of github.com:mauroporta/Autour_de_DAG