sequences: moving some words to sequences.extras.
sequences: fix supremum-by and infimum-by to be row polymorphic.