Defining __eq__ in Python 3 destroys hashability, which means that Atom objects
can't be added to sets.  Since __eq__ isn't currently used anywhere, make __eq__
more strict again by eliminating it (effectively making == the same as "is"
again).