DAE integration usability

In OrdinaryDiffEq.jl, PR #2554 added error messages when necessary packages weren’t loaded and PR #2698 made type-stability possible for DAE solvers.