A Tree rule-based reduction language and engine.