Создаем свой собственный язык программирования с использованием LLVM. Часть 2: Семантический анализ

Хотелось бы увидеть грамматику языка в нотации YACC или ANTLR.
По трем Книгам дракона зеленой, красной и фиолетовой написал лабораторки по трансляторам со всякими LL1, LL(k), LR0, LR1, LR(k), SLR(k), LALR, LALR(k), YAAC, Core, Closure. Хорошо-бы взять грамматику и попроверять, сгенерироать таблицы разбора и погонять синтаксические тесты.