@alexbellos @mathpuzzle @Grabarchuk if I've got it right, they're the common names for the combinators sufficient to produce lambda calculus