Доработанные шаблоны (по отношению к плюсам), доработанные асмовставки (то же самое), спеки по ABI, рефлексия уровня "я могу даже атрибуты выяснить", opDispatch, "alias smthing this;", компилтайм с работой со строками + построения AST в каком-то своём виде, юниттесты встроенные в язык и позволяющие навешивать атрибуты, которые можно разбирать через рефлексию.
Про opDispatch не понял, шаблоны — такое себе, строковые миксины — ещё более такое себе