Documentation for the new predicate types