Introduced New Tag Set Type

Checkpoint.  Still ironing out the bugs, but getting there, I think.
For now, leaving the old version in place, but I expect to Deprecate it
soon.

Along the way, made _sort cope with the new world, where most Types are
sortable.