some changes
Merge branch 'master' of https://github.com/nzl-nott/PhD-of-nzl

Conflicts:
	2013 TYPES Paper/AIOOG.lagda
	2013 TYPES Paper/Semantics.lagda