I>>если тип val неизвестен?

AVK>dynamic?

Не, мне нужно строить Expression, так что все типы должны быть известны.