derive Eq on a bunch of stuff
better error message on gdevectorize
ipopt now has monadic interface using Vector, solveNlpIpopt is now on top of this
put x0 and p into Nlp
static NLPs now fully functional (don't have to provide any type-level information)