Программирование и данные: визуализация типов данных в Кодесис