Restructure template clause.
Update ordering of non-template candidates.

- Don't order by constraints unless the parameter-type-lists
  are the same (prevents ordering for unrelated candidates).
Reorg template deduction wording.

- Add constraint checks to temp.deduct.decl
- Update explicit instantiation, specialization
- Rewrite friends.
Formatting.
Regenerate pdf.