Move logic for reducing a list of references out of GraphLayout and into GraphExpansion, so that it can be used by other clients.
Support basic heap values (no struct or union types) and print placeholder text for valid opaque pointers.
Support printing arrays and records on the heap.