SI-5353 unsound Array lubs.

Pre-process types which cannot be represented at runtime before calculating
lubs, lest we arrive at invalid conclusions.