I saw on page 25 (the third PDF page) a nice argument against variable shadowing. I can think of a couple of modern languages I wish had learned this ;)

That's an argument against references isn't it? Rather than shadowing.