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