Improve the wording in section 3.2.3

- Now the way the message is used during a match is contrasted
  with how it is used during normal analysis.
- Now linking all Model productions back to section 3.2.1
Updated generated files
Merge branch 'master' of https://github.com/joichiro/xiao

It really is irritating how git commit --amend cannot be used once
a commit is pushed to Github.
Another good reason to work on branches as a branch can be deleted
and recommitted.