Clean up some action-graph scripts.

- Hierarchical DAGs are looking good.
- Move some theorems about bags/multisets to the core HOL distribution