During IFTI, if a type parameter is directly deduced from the expression, it should be stored in `dedtypes`. I'm using `TypeTypeof` as the payload.