Cleaned up rush.py, hypergraph.py.