Trace node value
new : { nodes : List (Node node), links : List (Link node value) } -> Trace node value
to_str : Trace node value -> Str where node implements Inspect, value implements Inspect