Reversed order of variable naming. Now the root is x_1 (or just 0).
Moving to new structures. No Vector now. And self-made Ratio for dealing with infinities. So there is now no need for Limit datatype.