Можно ли не привносить какую-либо теорию в «Изабель»?

Я хочу определить свой собственный тип списка в теории с именем List, но теория с таким названием уже существует. Есть ли более легкая теория, чем Main?