Title: Architecture for Combinator Graph Reduction