lemmy’s designed to be federated. what the devs do on the flagship instance doesn’t matter. you can just made my own server over rules disagreements. that’s literally why my pleroma server exists

a dedicated system to distinguish between two types of users, humans and bots, would be helpful

Honestly, I think a better idea is to separate human-readable names and formal names. say, the community ID is a random 128 bit string (could also be a public key if you do something neat with cryptography) and then the community’s human readable name is a mutable variable that can be set or change, and doesn’t have to be unique