implement generic deriving support for Vectorize, which has lost its Nat parameter and fundup
update casadi stuff for new Vectorize