Add something like `num_traits` to STD, or move it into std entirely

The thing you need to address if you want it in core is how to to handle upgrades. In a separate crate you can always rev the major version to add new things to the trait. core can't ever.