Much of new runtime completed.
About to define a definite implementation of the solver runtime.