Candidates for structural-induction

No candidates exist for structural-induction. Upload one for this or another package?