Move Differentiable to dr.math.interfaces package