[temp.expl.spec] Update example to match core issue 374 / N3064.
[lex.ext] Fully-qualify std::size_t in example.
[basic.def.odr] Clarify the meaning of the set of potential results of
an expression and how that relates to odr-use.