[update: Note that Yin Wang has deleted his post. Maybe he no longer agrees with it.]
Wombat hasn't made much progress recently. However I was delighted to discover Yin Wang. Basically his talk on type inference, http://yinwang0.wordpress.com/2012/10/19/type-inference/, explains why dynamic typing works where static typing seems to often get in the way.
He also says elsewhere that static typing is not much different to, nor much better than, static analysis of a dynamically typed language. This is very hopeful for Wombat, because Wombat's planned static typing is just based on static analysis, which is a required part of the language, not an add on.