Some work towards keeping track of solvers, traces and parameters property values (#112).