Clean up HOL sources.  In particular, actions have at most one write.

Previously actions could have lists of writes stored in them, even
though the remainder were ignored.  This was done as a hacky solution
to a problem that the hierarchical DAGs solve much better.

Some bad solutions to the nested/hierarchical DAG problem also
deleted.