AD in the core language? Why? Automatic differentiation would be prime candidate to be implemented as a metaprogramming library.
Seems to me like there's at least an argument that it should be possible grow diff programming into a general purpose meta programming system rather than use general purpose meta programming as implementation mechanism for differentiable programming ...