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.
This also gets into the time vs. space issue.

How about we start with objects first, then do definitions, as we did on the whiteboard?