I see value in the suggestion to replace writing some with writing bare protocols. But I do want to clarify something when you say "where bare protocol doesn't mean specifically some"
If dropping some syntax was a future direction we took, I think it would still make sense to have bare protocols mean some implicitly because the current behavior of bare protocols meaning any can still lead to needing to rewrite code if users run into a limitation with using existentials.
This proposal would re-introduce a third spelling for protocols which is valuable because it helps make it clear across language modes what you mean. Two spellings is a reasonable future direction but I think it should be phased in!