[expr] Update wording for nns.

- Allow costrained-type-names in a nested name specifier.
- Restrict the kinds of types that can be substituted for those
  placeholders.
- Update the examples for non-constraind lookup.
[various] Rewrite auto/constrained ts.
[various] Reworking placeholders.
[expr.prim.req.type] Remove unnecessary production.