Скажите какие типы данных здесь использованы

auto = (toyota, nissan, subaru, ford, dodge,BMW);

это перечисляемый тип представляет собой ограниченную упорядоченную последовательность скалярных констант, составляющих данный тип. Значение каждой константы задается ее именем. Имена отдельных констант отделяются друг от друга запятыми, а вся совокупность констант, составляющих данный перечисляемый тип, заключается в круглые скобки.

Упорядоченная последовательность значений, составляющих перечисляемый тип, автоматически нумеруется, начиная с нуля и далее через единицу. Отсюда следует, что к перечисляемым переменным и константам могут быть применены операции отношения и стандартные функции Pred, Succ, Ord.

Переменные и константы перечисляемого типа не могут быть элементами списка ввода или вывода. (с) http://codingrus.jino-net.ru/ebooks/tp/book1/22.phtml

tauto = set of auto; множество, позволяющее хранить только элементы с типом auto.

All_auto : tauto = [toyota, nissan, subaru, ford, dodge,BMW];
st_1 : tauto = [toyota, nissan];
st_2 : tauto = [nissan, subaru, dodge];
st_3 : tauto = [toyota, nissan, ford];
st_4 : tauto = [toyota, nissan, dodge];

А это типизированные константы - можества, содержащие конкретные элементы. В программе могут использоваться как обычные переменные. В том смысле, что не смотря на объявление константой есть возможность выполнять присвоение значения.

А вообще, все это с пол-пинка находится через поисковики...

Список значений.

Перечисление, множество

ты создал переменную auto и присвол ей допустимые значения, дальше tauto имеет тип auto - она тоже может принимать только её значения, дальше константа, которая имеет значения tauto. Если ты в tauto попробешь поменять значение (программно) - это не ошибка, в константе это будет уже ошибка - или прописанные слова или ничего. и получается первая переменная у тебя текстовая, все остальные пляшут от нее - она является у тебя типом для всех остальных