Evaluate if solver_specific makes solve! type unstable

[abelsiqueira]

We should evaluate whether solver_specific makes solve!() type unstable or not.

Originally posted by @dpo in #26 (comment)

[dpo]

Maybe design a type for solver-specific data, as suggested by @geoffroyleconte in #31.