Candidates for proof-combinators

No candidates exist for proof-combinators. Upload one for this or another package?