Also in view of ConstraintSolver, do you think the limitation of constraints not to introduce unnecessary parameters is sound, or too inflexible? Not introducing extra parameters is always a good idea. Complexity of matrix inversion is O(n^3) as far as I understand, and n^3 does grow fast. But cons...