[Esug-list] Francisco's work on Concrete Type Inference for Squeak