Add some simplifying typedefs, new AdaptSolver class (not used so far), add WeakFormSharedPtr.