🧩 Shape-Safe Symbolic Differentiation with Algebraic Data Types - View it on GitHub