prettyprint: fix off-by-one, thanks @adjvondrak!
sequences.extras: adding subseq-as.
sequences.extras: cleanup reduce's a little.
terminfo: simplify a bit.