fix type-predicate queries

Commit

7 years ago

fix type-predicate queries expand the set of them to be more "complete", and document them more fully