Attribution code uses two parameters, pt and pkind respectively, to propagate the info about expected type and expected symbol kind. It would be nice to merge those values into an instance of a more general Result class.