Фотографии и диаграммы систем типов в языке Pascal