This is the lambda-lists package by Alan Jeffrey, for doing lists and
lambda calculus via expandable macros (a.k.a. in TeX's mouth).