The package was developed to provide flexible lists, whose
ordering can be altered on the fly. The implementation involves
a pile of lambda-calculus and list-handling macros of an
incredibly obtuse nature. The TUGboat paper serves as a manual
for the macros. Having said all of which, confidence is
enhanced by the knowledge that the TeX code was formally
verified.