Candidates for type-level-natural-number-induction

No candidates exist for type-level-natural-number-induction. Upload one for this or another package?