The size_type is dropped when inferring common type for String types

The TypeCalculator will lose the String.size_type when computing the common type of two String types that both have a size_type. The correct behavior is to compute the common type of the two.

QA

risk: low
probability: low
severity: low
test level: unit