made differential partial definition reduction more aggressive, vastly speeds up leibniz propagation.