some typos fixed in AIOOG.lagda, debruijn indizes could changed to De Bruijn index
Merge branch 'master' of https://github.com/nzl-nott/PhD-of-nzl

Conflicts:
	2013 TYPES Paper/AIOOGS2.lagda