> This occurs because the refactoring engine uses runtime data to discover the correct types and thus correct refactorings.

in smalltalk is not like other languages where you have a bunch of text files and you "build" it from there and need static types... it has to do it at runtime because thats all there is!