Qraizer: Как по мне, это вполне себе изящное решение. Ты определил для компилятора идиому новых типов, описал их свойства и правила взаимодействия между разными объектами этой идиомы. На каком-нибудь Прологе проще не получилось бы.
P.S. У Александреску, например, был целый паттерн value2type, который он применял как раз для того, чтобы "преобразовывать" значения в типы.

https://forum.sources.ru/index.php?showtopic=419092&view=findpost&p=3833539