updated to show possibly-working code
Merge branch 'master' of https://github.com/wyvernlang/docs

Conflicts:
	iwaco14/iwaco14.pdf
Merge branch 'master' of https://github.com/wyvernlang/docs
Candidate final version of the IWACO paper
addresses reviewer comments (and one from Michael Maass)
general clarifications