>>primitives are all sized (u64, u8, f64, etc)

stdint.h already gives you that.

>> only one loop primitive (loop{}), no switch, no enum

I don't think you will find many fans of that.

>> atomics

check stdatomic.h

>>some bitwise operations (like popcnt)

Check stdbit.h in C23