Improve documentation of the new `alias/2` predicate directive