Tightening and minor typos.
Merge branch 'master' of https://github.com/wyvernlang/docs

Conflicts:
	ecoop14/ecoop14.pdf