Various updates in integrate.jl and differentiate.jl