Symbolic expression tree and rewriting for oCAS.
This crate provides the [Atom] type: an arena-backed, tagged-union
representation of symbolic expressions. Atoms are immutable, copyable
references into an [Arena] and form the core data structure used by the
parser, printer, and rewrite engine.