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

Conflicts:
	2013 TYPES Paper/Telescopes.lagda