Add predicate typedef

This PR adds a predicate typedef, for use in selection and deletion functions.
This will also contribute to PR #124 and PR #117.