SI-5353 remaining unsoundess in Array lubs.

The previous fix, while possibly still appropriate, did not
suffice to fight off Nothing-based array lubs. Took eugene's
advaice and went after them in erasure.