Type Inference in Smalltalk

I'm presently learning Smalltalk as my 2nd computer language (first was Python). Lex is a smart guy and this looks like it might make Smalltalk even more programmer efficient.

The absence of static typing is widely cited by practitioners as a perceived reason for their productivity when programming in Smalltalk. However, Smalltalk programs are also widely claimed to be difficult to decipher, because there is no static type information to guide the reader. This project attempts to apply type inference to Smalltalk code, with the purpose of making programs easier to read.