split Dae.convertToOde into (Dae.solveForXDotAndZ, Dae.convertToOde)
add Dae.assertNoFreeParams and enforce it in Ocp initializer