Исправления в грамматике.
Настоящий древовидный TypeSignature, несколько нод для парсера.
Фикс для тестов.