Improve documentation of several built-in predicates