Which of the ideas in the paper do you feel are applicable to a system with explicitly declared types? Thanks for pointers! -- Python: Programming the way Guido indented it. - (originated with Skip Montanaro?)