Additional subtype check to avoid spurious types

[errt]

We can have more precise type bounds in the overall value than the individual sub-values. Using this information increases precision and avoids spurious types that can cause problems elsewhere.