Added new module for producing informative type-error messages
Simplified type-check in order to provide precise error messages.
Added module for type-error messages

  The example nested-exec-left.tdiag is failing now. Needs to be checked.
Merge
Merge branch 'dev'

Conflicts:
	project2/src/Type/AG.ag
	project2/t-diagrams.cabal