Update documentation on categories for the semantic changes to meta-predicate calls