Привет!

Objects, references, functions including function template specializations, and expressions have a property called type, which both restricts the operations that are permitted for those entities

Entities of int type это числа (из некоторого диапазона), в тексте программы их нет, они имеют бинарное представление.
А что имеется ввиду под entities of function type — имеется ввиду бинарное представление или текст функции в программе?

С одной стороны бинарного представления функции могут не иметь. С другой стороны может быть указатель на функцию.