Revisit identifiers spec

Partially addresses #1135.

This is the result of discussions in the past few days about imprecision and confusion.  Hopefully simpler.  There are a few FIXME comments in the doc - discuss.
It is unclear what item 6 means, and some of the things it suggests are already covered.