Add directed graph relevance detection
Add set-empty and set-unions
Add relevance-based filtering for SCC lists
Add new targets as edge-less sources by default
Rebuild terms from de-skolemized states
Move massive TODO block to a dedicated file