better Sequence.pp_seq, with trailing separator
simpler Univ.unpack implementation