Duck typing and consistent return types (Vector{typeof(y0)}) for all solvers; see #7. Tests adjusted accordingly.