I am currently working with VisualAge, so I build an Envy application to have the usual shortcuts available in Squeak
Concrete Type Inference
I did this project as part of my licenciate thesis. It proved to be a fascinating problem. As a result, I built a type inference engine that is capable of analizing some simple Smalltalk expressions. You can visit the type inference swiki to download the code or read what I wrote.