Added some total_ordering decorators