Filter a typeset with a type-level predicate

I wanted to do it for some time. It's easy, see `CheckForAll`/`CheckForAny`.