Steps towards auto-constructed reduction functions (to build the AST).