Describes types that have a natural order.
concept comparable
Declaration: comparable
Announcements: comparable
Direct supertypes: equality comparable
All subtypes: nonnegative
not yet implemented static order[comparable] natural order