14 okt 2011: bugfix in a figure in the introduction.
17 okt 2011: rewrite of section "AGs as type system specification".