Вопрос: В чем состоит суть термина «уточняемый тип»?
Ответ: для любого значения любого встроенного (и перечисляемого) типа существует его внешнее литеральное представление.