Improve the test for (TYPEP x 'UNBOXED-ARRAY)

This change makes SOURCE-TRANSFORM-UNION-TYPEP rewrite the test
into (TYPEP x '(AND ARRAY (NOT (ARRAY T)))) for ~10x smaller code.

Also fix lp#309098 in a more-or-less similar way.