Rackety (just enough to get the line widths down)
move dot graph support from redex into mrlib's graph library and document it
dont rebind void