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

S>То есть сами Expression есть, а вот компилятор их порождать не умеет.

Скорее всего умеет, но не для Expression<T>, а для dynamic. Именно поэтому в Expression даже стейтмент блок есть.