SI-5353 Fix Array unsoundness

Attempts to improve situation with the erasure of types which
involve Arrays, which are wrong in most non-trivial cases.