Agreed. It's possible to make it extremely difficult to walk the blockchain in the linear, simplistic manner I describe.
My point was that it's possible to make it *impossible* to prove the flow of funds, not that it's possible to make it difficult.
I am aware of the existing blockchain analysis that's been done by various researchers and how far it can go. But that method will never work against mixed inputs with mixed outputs, for the reason I described in the previous post. It could make a probabilistic connection between two addresses, but those probabilities will dwindle to zero after a few transactions, if they're all implemented the same way with N users.
You're more describing how it works now; people mostly don't do anything to hide their tracks, and some people use mixers,which *largely* work in hiding, but not perfectly.
CoinJoin I believe is just a slightly more sophisticated way to use the existing Bitcoin transaction design (honestly I'm a bit surprised that it's only being discussed now and not 2 or more years ago - I think the problem is not the idea, but that there's SO much functionality to develop within Bitcoin and so few skilled people to do it).