Searching protocol for "type-predicates"
Automate PRs: accurate titles, descriptions, and verification.