* добавил модулирование определений типов данных (пока только в `test.tex`)