Candidates for type-booleans

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