`@jump` => `@bounce`
Refactor `everypred` and `somepred`, loosen types