Add RevOrd type

Add a RevOrd type in std::cmp, which reverses the natural order of types.