"best choice" type category when resolving UNKNOWN function and operator arguments. Thanks to Tom Lane for finding test case.