On hierarchical graphs: reconciling bigraphs, gs-monoidal theories and gs-graphs