Последовательный подъем

Используя операцию raise из упражнения 2.83 , измените процедуру apply-generic так, чтобы она приводила аргументы к одному типу путем последовательного подъема, как описано в этом разделе. Потребуется придумать способ проверки, какой из двух типов выше по башне. Сделайте это способом, «совместимым» с остальной системой, так, чтобы не возникало проблем при добавлении к башне новых типов.

---