在使用类型谓词时对 `filterItems` 进行类型推断

跟进 #867，该提案添加了类型谓词缩小到 `findItem`。`filterItems` 仍然使用普通的 `ArrayRequirement`，并返回输入类型。