уже есть некоторые расширения для него (vtable, tuple, etc)
у плюсов есть что-то похожее, достаточное для дебагера
На текущий момент единственная документация на него - комментарии в коде ллвм
В DWARF надо явно прописывать разные типы
а стандарт не очень открыт к новым изменениям