I’ve been a rust user of symbolica since 0.1 and it is insane how much nicer it is to use now.

Builder patterns for constructing replacement rules (and now evaluators!), macros for namespacing symbols, and now the call trait to fill in for callables in rust.

Not to mention the broad implementation of arithmetic on Atoms (the expression type of symbolica) with other std types and with symbols.