Implemented provides/3 object and category property, allowing to query for multifile predicate definitions provide by an entity to other entities. This property is the dual of the includes/3 object and category property.