Imagine a language that can be both generic and domain specific. A language that is extensible is every way imaginable. You can define your own syntax. You can extend the type system. It would be a kind of, a kind of... superlanguage!
In short this is what XMF is. And yes, as I typed that name I mistyped it as XML, but do not worry, it has nothing to do with XML, thank god. You can download a free book on the XMF superlanguage. I'm reading it now. It's not just for fun for me, it's work -- it's an alternative approach to building DSLs which needs to be investigated. That's what we, scientists do.
That, and make the world a better place. With super languages for instance.