Candidates for free-theorems

No candidates exist for free-theorems. Upload one for this or another package?