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

I think using panicking default implementations for added methods is fine.