Объектно-ориентированное программирование без встроенных типов

Насколько оправдано упрощение объектно-ориентированного языка программирования при доказательстве каких-то его свойств? Что можно написать на ОО языке без встроенных типов, арифметических операторов, операторов сравнения, условных инструкций и инструкций цикла? Теоретически возможность объявлять классы, переменные и процедуры, а также создавать и присваивать объекты, обращаться к переменным и вызывать процедуры должно хватить, чтобы реализовать любую программу. Но как это выглядит на практике? На семинаре будет разобран код простого примера, отвечающего на этот вопрос.
Несмотря на фундаментальную природу, работа не носит научного характера, доступна широкому кругу специалистов профильных специальностей, может быть интересна разработчикам и исследователям языков программирования и трансляторов.
Рабочая запись на YouTube-канале ИСИ СО РАН (https://youtu.be/W7Xp443ckoc), есть презентация доклада (https://persons.iis.nsk.su/files/persons/pages/kogtenkov03apr24_0.pdf).