FIR: carry constraint system information across fully resolved calls

[pyos]

...in builder inference mode, anyway.

The new field serves the same purpose as ResolvedAtom.subResolvedAtoms in FE1.0: resolved named references no longer contain candidates, so type variable info needs to be stored elsewhere.

[semoro]

Please, report the YT ticket with clarification for the case and link it to commits

I'll review the code later this week

[pyos]

https://youtrack.jetbrains.com/issue/KT-54294