About type aliases in protocol extensions: is this a bug?

Not yet, I was planning to start writing a draft this weekend. You can always check this thread for updates.