Generic sort

[Brian Goetz]

> can throw a CCE where Complex is a value type. This seems to imply we
> need byte code instructions: vinstanceof and vcheckcast.
>
> This seems strange, what am I missing?

Some bytecodes need to be v-ified (xreturn, xload), but others (dup) 
need not because they are intrinsically polymorphic.  In the middle are 
those that take type descriptors as operands (checkcast); if we expand 
the set of type descriptors to include q-types, you need not v-ify the 
bytecode, you can just expand the range of operands.