1. ADDED: Transitive and transitive-reflexive closure meta-predicate.
2. ADDED: List element occurrence predicates directly_after/3 and directly_before/3.
3. CLEANUP: Rewrote list element occurrence predicates after/3 and before/3 using closure predicates.