Structured combinators for efficient graph reduction [pdf]