An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories