Actually, although it's fashionable to sneer at it, I think that TeX (http://www.tug.org) provides perhaps the most compelling example of a little-language maker. The languages that one can make on top of it are perhaps rather specialised to text markup, but I think it's telling that LaTeX (http://www.latex-project.org) was designed, not by fiddling with the source, but rather as a macro layer on top of TeX. LaTeX's not little by any means, but I think it would be hard to find many other examples of such successful languages implemented literally on top of existing languages.
Finally, I'm not really familiar with Perl 6, but I'm pretty sure it's still dynamically typed. (After all, it targets Parrot, which is specifically advertised as being a low-level target for dynamically typed languages.) As such, I don't see it solving people's problems with lack of compile-time guarantees from Lisp. (Of course, there's no denying that Perl, in every version, does offer gobs and gobs of syntax. :-) )