| INode | Expression graph, represeting IRE expressions made of IEOperations, restricted
IESlices and restricted IEComposes. |
| INodeHandler | Custom IR-tree-node processor on match. |
| ComparisonInfo | |
| EEquationMatcher | Check if two IRE trees match two provided templates. |
| EExpressionGenerator | |
| EExpressionMatcher | |
| EquationDefinition | |
| Leaf | Terminal node. |
| Node | Non-terminal node. |
| OGroup | |
| SubstitutionDefinition | Definition of an expression-substitution: input pattern, output pattern |
| Util |