Added description of dependent types generators
Added angelic generators example used in the report
Completed report for second part of the project
Merge branch 'report2' into generator

Conflicts:
	doc/report.tex
Fix in example