I know about CAS, but that's not what I'm doing.

The module does no algebraic calculations, it just defers the evaluation of symbols (but it doesn't simplify, transform etc.).

That's why I don't want to use terms such as "Symbolic" or "Algebra" in the name, it would be misleading.