Add and use term->state
Fix term->context for if-eq
Add directed graphs

This includes DFS and SCC-aware topological sort.