Правки по проверке типов, новые тесты
Реализовал typedef. Написал соответствующие тесты. Поправил безымянные структуры.