I wonder if you noticed the language which just shipped its first official version with:

* a typing system some call "gradual typing" (loosely similar to optional typing);

* a condition system;

* "grammars/actions" which are not only first class in the language but are self-applied in a bootstrapping fashion during parsing (which I'm thinking is equivalent in power to reader macros);

* CLOS inspired OO;

* a MOP;

* generic functions;

* multiple dispatch;

* multiple inheritance "done right".