I’ve not following closely, but one thing I’d like to inject:
I don’t think we want names to automatically become part of the public API. This gives an opportunity – if type parameter names must “opt-in” to being nameable, we can check for conflicts with associated types and the like.