[Auto-diff] Overhaul auto-diff type tracking + Overhaul dynamic dispatch for differentiable functions

[Auto-diff] Overhaul auto-diff type tracking + Overhaul dynamic dispatch for differentiable functions #417