Checkpoint. (Major changes. Almost there.)
Removed the use of RootOf constructs in Puiseux.