> The proposed wording should change the class synopsis in [template.bitset.general].

Will do.

> Why overloaded functions for count{l,r}_{zero,one} instead of default arguments?

Because the overload taking no arguments has a different noexcept specification.

I probably should have mentioned it in the proposal, since it's not obvious.