Editorial: align even more with Infra

In particular:

- Follow more code points with their representation.
- Rename lead and trail to leading and trailing.
- Define the types of concept members.
- More "then" following "If".

Author: annevk