We now have pretty print for top level dag.  Tons of boiler-plate code though -- need to look into reducing that through templated and static asserts