some changes for the final version  -

-fixed description of isomorphisms
-added clarification of relation of this to the previous version
the previous one , these are temp files anyway
Merge branch 'master' of https://github.com/nzl-nott/PhD-of-nzl

Conflicts:
	2014 LFMTP Paper/BasicSyntax.lagda
	2014 LFMTP Paper/latex/BasicSyntax.pdf
	2014 LFMTP Paper/latex/BasicSyntax.tex