Expression arena, hash-consing, canonical form construction, and ordering for `symcas`.
Provides the `Context` and `Expr` handles, on-the-fly normalization, differentiation, series expansion, cancellation, substitution, and assumption tracking.
Licensed under either of Apache-2.0 or MIT at your option.