Because the AIS type computer is still responsible for inferring the type of a parameter in VALUES, rather than
the overload resolver, it needs to do so for types3 as well.