FIX `split`.

`split` was incorrect, the side must be preserved when choosing
between "keep" `+` and "give" `-`.

Less confusing notation is much needed.
Minor fixes to text