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

I'd be more than happy to have a sealed trait just to make generic implementations easier.