Здравствуйте, vdimas, Вы писали:

V>Expression<T> и его наследники не являются first class citizen.
V>С т.з. языка это "пользовательские типы данных".
V>В общем, требование first class citizen надуманное.

First-class citizen и built-in — ортогональные вещи.

First-class citizen — это:

Robin Popplestone gave the following definition: All items have certain fundamental rights.

All items can be the actual parameters of functions
All items can be returned as results of functions
All items can be the subject of assignment statements
All items can be tested for equality.

последний пункт неоднозначный, но «пользовательские/встроенные типы данных» тут совершенно не при чём.