Описывается объектно-ориентированный язык программирования. Особенностью языка являются возможность описывать объекты как структурированные совокупности подобъектов, конструировать их из компонент-подобъектов в процессе работы программы и изображать объекты, то есть представлять их в виде последовательности литер. Последнее позволяет использовать язык для создания различных языковых процессоров (включая компиляторы, интерпретаторы, конвертеры с одного языка на другой).