Function reify_instantiationT_from_expr

when we have a call `f($v)` for a generic function `f `, then T depends on $v for $v=1 return int, for $v=$a->field return type of A::$field (even for primitives), etc.