Candidates for type-level-bst

No candidates exist for type-level-bst. Upload one for this or another package?