Exact yet Efficient Graph Parsing, Bi-directional Locality and the Constructivist Hypothesis