I have created a pull request, because no suggestions have been added in
two days. Here it is:
Link to the proposal:
I worry about syntax of renaming in "Resolving conflicts" section:
var y = B.x
func g(arg: Type) = B.f
But it's the best I can think of. Ideas are welcome, as always.
That said, I don't think it's a flaw strong enough not to start a review.