Reified: if dynamic type of value in reifyValue is a function, return a ReifiedFunction instead of a ReifiedValue