type= decision problem involving union types
Found while investigating an optimization failure for extended
sequences. The extended sequence type implementation was altered to
work around the problem, but the fundamental problem remains, to wit:
returns NIL, NIL on sbcl-1.0.3.
(probably related to bug #308938)