для того, чтобы сущность имела тип, ей не обязательно "иметь бинарное представление" (т.е. быть объектом).
Вот это как раз очень интересно.
Я и говорю тип выражения в коде программы?
А есть другие примеры таких сущностей без бинарного представления в C++ или других языках?