Compiles with recent GHC, libs.
Don't import Numeric.AD.
Some clean-up and use of polymorphic _0.