I am +1 for this. This proposal simplifies the writing of a good bit of code on it's own, but its benefits are almost insignificant compared its power when combined with constrained and implicitly opened existentials.
Making primary associated types refer to explicitly declared associated types removes my biggest reservation against the previous version of the proposal.