Class math::TDeriver< T >: : complete implementation.
Class math::TEquNode< T >: : complete the Equation class interface and impelemntation.
Class math::TExpander< T >: : implementation.
Class math::TSimplifier< T >: : complete the simplifier implementation (using expr pattern matching).