NaturalOrder and ReverseOrder: simplified annotations and
implementation. #53