Ass that I am, I replied to the comments without noticing that Matthias Felleisen had visited my uncultured backwater of a tech blog: an event equivalent to Gregory Chaitin stepping in and correcting the math in an XKCD comic.
Matthias, I hope you'll forgive me for having grossly oversimplified my case, and for having wasted so much space for the sake of rhetoric.
I understand, of course, that ES4's type system cannot be sound. My decision to use ES4 (and back it, and promote it) is deeply pragmatic. The resistance to Scheme in the industry is truly astounding. The ES4 designers (Schemers to the last, if the rumors are correct) are doing the best they can with JavaScript. I believe, admittedly without any concrete practical experience to back me up, that ES4's type system may still prove quite useful. Of course it won't have the guarantees of a sound type system, but I think it can still help catch errors, clarify code and offer some purchase for optimization. Time will tell.
As far as blogging with more concrete detail about code 'size' as a proxy for bigger problems, so to speak, well - it's something I've attempted many times over the years, and I've never succeeded. The problem is that small examples fail to convince, and large examples are too big to follow. I've resigned myself to talking around the edges of the problem.
And thank you for your wonderful books and your awesome work on PLT Scheme.
By the way: http://www.amazon.com/o/asin/0262561158 - that was a great joke. I laughed from the first page to the last. :)