This trait is not particularly useful in its current implementation, and
was only used by Integer, Float, and Range. For Range it wasn't even
necessary, as Range only needs Successor and SmallerOrEqual.