Combinators and the theory of partitions StatmanRichard 1988 Mathematics Technical Report