While step-debugging something I saw that often $nativeType seems to be equal to $originalExprType. It was even identical. But the old code was ignoring that and intersecting both with the specified type. This change avoids this intersection (which could be complex for bigger constant arrays as we know) in case they are equal and it gets $originalExprType later only if needed (but I assume this doesn't change much).

It also moves this logic into a new addTypeToExpression method which kind of made sense to me since there's also a removeTypeFromExpression.