[Pharo-project] Concrete Type Inference