Module header for E.S.Module.
Clean up names; work on deriving a topological sort from Data.Graph.