Adding a never const rule to the typechecker to cut down on cache usage on kinds where Node::isConst() can never return true.
Special rule for transforming a constant equalities constructed during ite simplification.
Compressing large ite chains.