discriminators for vectors; too much ownership in the type now though
Infinite loop on nested vector sort.
Infinite loop fixed.
iterator disciminator implemented but untested
iterator-based vector discriminator caused a bus error