A new config option to avoid realizing all the individuals
automatically when asking for the types of one individual
A new flag in PelletInfGraph not to include built-in predicates in
the result of queries with predicate variables