New version just submitted to PEP editors.

Main changes:
- @@ is gone
- A few small factual inaccuracies have been fixed
- I added a discussion of Guido's ".M *" idea to the "Rejected
  alternatives" section
- Added an (incomplete) "Implementation details" section, based on
  Nick's comments.