I read the article and I couldn't disagree more. One of the things I like most about TDD is the ability to do a lot of refactoring with ease. In order to refactor I have to be sure that the changes I make do not affect the system's features (namely - my tests). TypeMock (or at least it's usage as described in the article) advocates tests which are coupled to implementation in a way that renders it impossible to refactor without changing the tests (which isn't really refactoring at all...).
Does the Natural Mocks feature not deal with that though?