About other issues you mentioned: I made a comment about
digits synonym. In accordance with your "properties are better names than objects", instead of
separable-spaces alternative choices could be (separability) - which is too overload - som something like (separability-topology). But I am not sure that is really an issue. My guess is that most people will agree with Brian M. Scott and (countability-axioms) will be removed.