Unify JSDoc tags for predicate functions

Remove signatures from `@param` JSDoc tags since we now have the separate `@sig` tag.
Add descriptions to predicate function params.
:smile: