I like what I read. I'm always conflicted by my good experiences with untyped languages, compared to my good experiences with typed languages finding hard to find bugs. It's nice to see people looking at how they can be mixed. And I like they've added some stuff that Java lacks which is useful. (no such method) etc.
The trouble is: it looks too much like Java for it to be likely that anybody will bother. With all languages I usually end up thinking... is this as elegant as Scheme? No? So why bother. I think even CLOS type schemes can have the compiler do type checking, so what do we gain? Has anything ever surpassed Scheme plus whatever favorite libraries, or macro/ object collections you like? I don't think so. Scheme allows you to overlay pretty much anything onto its syntax. It always seemed like the final word to me.