Good points.

I was not sure what to do with the promotion issues, because I apparently lost the discussion in https://github.com/JuliaLang/ODE.jl/issues/26. I'll let others decide how that should be specified.

I want to be explicit about the operations the ODE solver variables should support, but I was not sure I could provide a complete list, so I left it out for now.