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.
Not sure what you are asking for - a name is an identifier unique in space.  A uid is an identifier unique in space and time.  We call them name and uid because those carry the semantics defined above.