CalculatePossibleTypesStage now uses the CallCandidate type to come up with the set of possible output types.