A few changes to template type diffing.  Originally, the format was %diff{type is | not | }1,2 but this does not allow enough flexibility for diagnostic messages.  The new format is %diff{type is $ not $ |see type tree}1,2.  The text before the pipe is printed with a formatted type string replacing the $.  If the tree is printed, the text after pipe is used.<div>
<br></div><div>One set of diagnostics has been modified to use this.  A test case has been added which also tests the change from r159386 (keeping bold on for non-notes).  The internal manual has also been updated for this change.  After this, a large scale change will be done to the diagnostic texts.</div>