without having to use nested lists to describe trees or graphs, give these structures their own syntax to express in a succinct way a well behaved tree or graph.

possibly:
Tree Graph

more thoughts and syntax refinement are needed