Candidates for finite-typelits

No candidates exist for finite-typelits. Upload one for this or another package?