Utilities for name resolution and renaming of bound symbols.
A Rewriter implementation that normalizes local symbols into x0, x1, etc.
Rewriter
x0
x1
Configuration for SymbolNormalizer.
A Rewriter implementation that converts old-style testers is-Foo into a proper indexed identifier (_ is Foo).
is-Foo
(_ is Foo)