AD s (Id a) => ID a s
Give type parameters of kinds (* -> *) and * to Mode and Jacobian, splitting the infinitessimal from the rest
Fix and uncomment jacobians, hessians and gradientDescents in Numeric.AD and Numeric.AD.Newton
Remove the AD type
Rename deriveNumeric' to deriveNumeric
Some cleanup
Uncomment Numeric.AD.Mode.Directed
Export the types for various modes