Begin on alias reduction (check for cycles).
Replace `set mapcat` to `apply union map`.
transpose-graph
Implement topological alias sorting.
track-cycle for better error reporting