[V2] Change predicate types to (_, _, ..., _, bool)

[rah4927]

I think it's confusing to have to deal with function and predicate structures differently, so we could consider adding bool to the example structure.