Small report fixes

In Section 3.16:

Replace:

<div style="background: #fdd; border-color: #c00; border-style: solid; border-width: 1px">
<pre>
<span style="background: #fbb">exp  →  exp :: [context =>] type</span>

Expression type-signatures have the form <span style="background: #fbb">e :: t</span>, where <span style="background: #fbb">e</span> is an expression and <span style="background: #fbb">t</span> is a type (Section 4.1.2);
they are used to type an expression explicitly and may be used to resolve ambiguous typings due to
overloading (see Section 4.3.4). The value of the expression is just that of <span style="background: #fbb">exp</span>. As with normal type
signatures (see Section 4.4.1), the declared type may be more specific than the principal type derivable from
<span style="background: #fbb">exp</span>, but it is an error to give a type that is more general than, or not comparable to, the principal type.
</pre>
</div>

with:

<div style="background: #dfd; border-color: #0c0; border-style: solid; border-width: 1px">
<pre>
<span style="background: #bfb">exp  →  <span style="border: solid black 2px">infixexp</span> :: [context =>] type</span>

Expression type-signatures have the form <span style="background: #bfb">e :: t</span>, where <span style="background: #bfb">e</span> is an expression and <span style="background: #bfb">t</span> is a type (Section 4.1.2);
they are used to type an expression explicitly and may be used to resolve ambiguous typings due to
overloading (see Section 4.3.4). The value of the expression is just that of <span style="background: #bfb; border: solid black 2px">e</span>. As with normal type
signatures (see Section 4.4.1), the declared type may be more specific than the principal type derivable from
<span style="background: #bfb; border: solid black 2px">e</span>, but it is an error to give a type that is more general than, or not comparable to, the principal type.
</pre>
</div>

The first change makes 3.16 consistent with the opening of 3 and with 10.5.

Trac metadata

Trac field	Value
Version
Type	Bug
TypeOfFailure	OtherFailure
Priority	normal
Resolution	Unresolved
Component
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture