Мое мнение не претендующее на правильность и гениальность:

1. перед LLVM лучше генерировать промежуточный язык из которого генерировать уже LLVM.
проще отладка + оптимизации к такому пришли в RUST.

2. Ура, Влад понял что GC не всегда нужна.

3. в С++17 могут включить модули и тогда надо будет читать бинарные метаданные.\

4. И Влад, первый бакэнд сделай даже не под НЕТ, а под джавускрипт.