Inferring types in Smalltalk | Synapse