> I just stumbled across RoelTyper, a type checker for smalltalk:
> http://decomp.ulb.ac.be/roelwuyts/smalltalk/roeltyper/
> http://www.squeaksource.com/RoelTyper.html

A type inference engine, and already used by the latest eCompletion to 
enhance it's accuracy, both very nice tools.

Ramon Leon
http://onsmalltalk.com