Describes types that have a natural order.
concept comparable
subtypes equality comparable
not yet implemented static order[comparable] natural order