12 Inconsistency of dynamic binding description

Some sections - such as 13.13.1 and 13.11.1 - talk about dynamic binding, usually with the same kind of language.

Other sections - such as 13.14 and 13.15 - don't mention it at all. Do we want to fix this inconsistency?

(The conditional operator in 13.15 is interesting, as the precise behaviour would usually require knowledge of both the second and third operand types, to know whether or not to convert an operand into the overall type. However, for dynamic expressions that would require evaluating both of those operands, against the spirit of the operator. So presumably if either of those operands is dynamic, no conversions are performed? That's the sort of thing we should probably specify...)