Title: An architecture for combinator graph reduction