Add support the specification of Prolog built-in (meta-)predicates in `uses/2` directives (where the first argument is necessarily `user`)