Text this: Resource-Bound Quantification for Graph Transformation