Move Bounded trait from num to cmp

Bounded trait is useful also for non-numeric types. I propose to move it to core::cmp.  It makes sense to implement it for any type that implements TotalOrd and has finite number of values.