Почему реализовать C настолько сложно?
На самом деле C (не говорю про C++) - крайне простой и понятный язык. Встроенные типы в нём есть, мягкая статическая типизация тоже присутствует, практически всё, кроме логики выполнения самой программы, работает как раз через библиотеки.
Транслировать в другие языки можно, но многие вещи, легко выполняющиеся на C в других языках будут выглядеть не лучшим образом, попробуйте на своём любимом языке написать аналог:unsigned char buf[1024];
read(f, buf, 1024);
unsigned long int *p = (unsigned long int *)(buf+*((unsigned long int *)(buf+2)));
unsigned long int *q = (unsigned long int *)(buf+*((unsigned long int *)(buf+10)));
for (p < q)
    *(p++) = 0;
Нашел хороший ответ на вопросы 2, 3.
Это язык CIL и набор инструментов Frama-c, для работы с ним. CIL - строгое подмножество С,     что хорошо, и он сохраняет структуру кода в отличие от SSA.