Structured Combinators for Efficient Graph Reduction