Fix `sequence-lift` for multiple valued sequences.

Also minor fixups of the rest of `unstable/sequence`.