Comparators

Summary
We consider a standard “functional” interface, comparators. Comparators are objects that are used to compare other objects for their order, generalizing notions like “less than” and “greater than”.

Forthcoming.