Added NarrowCallCandidates stage which marks candidates with impossible type conversions as not feasible.
Added SelectCallCandidate stage which chooses one of the CallCandidate nodes for each call.
Prepared stages for iterative convergence to call candidates. Implementation of stage dependencies required to make this work.