Derivative Approximation Difference Types