Feature request

Make ConditionalExpressionTypes to work for all expressions

• Use ExpressionTypeHolders for conditions
• Change addConditionalExpressions first arg to expr from exprString and delete exprStringToExpr Improve conditionalExpressionTypes phpstan-src#1950 (comment)
• Solve the infinite loop problem mentioned in Improve conditionalExpressionTypes phpstan-src#1950 (comment) when filterBySpecifiedTypes is used for BinaryOp's that uses filterByTruthy/FalsyTypes
• fix bug of processBooleanConditionalTypes mentioned in Improve conditionalExpressionTypes phpstan-src#1950 (comment)
• Make processBooleanConditionalTypes work for all expressions
• Make createConditionalExpressions work for all expressions
• Make processSure/SureNotTypesForConditionalExpressionsAfterAssign work for all expressions

Add conditional types for these types of dependent types

• Dependent variables not working if dependency referenced in another condition #5401 (comment)
  • https://phpstan.org/r/ce00cd7d-d22e-455a-b646-a48261f71091
  • https://phpstan.org/r/aab74e73-2bfe-432b-8bcd-f9b939d2eaab
• commented out test in https://github.com/phpstan/phpstan-src/blob/1.9.x/tests/PHPStan/Analyser/data/dependent-variable-certainty.php

Replace conditionalExpressionTypes with a LateResolvableType

• Create a LateResolvableType to handle conditionalExpressionTypes
• Replace conditionalExpressionTypes usage in MutatingScope
• Replace conditionalExpressionTypes usage in NodeScopeResolver
• Replace conditionalExpressionTypes usage in TypeSpecifier