Remove total_ordering

Upon studying further, we don't need it.  Since we only expect
comparing objects of the same type, just having __lt__ is enough.
Fix ClassDef

Ouch.  Broke it in 63b257e677993295ee015e02b92ff438a5e91135.