Add reference to [temp.deduct] to clarify meaning of "valid type"