How about using signature revealing variable-names as Panu Viljamaa 
suggests?
See http://members.fcc.net/panu/SmalltalkTypes.htm .

I think it's small and integrates well, though lots of temps/ arguments
would have to be renamed.

Markus