Fix and reinstate the recently commented tests.

The not working tests were using the join function which we renamed to
link because of Applicative being introduced to Prelude. Nevertheless,
I forgot to update the tests. Fixing now.
Documentation improvements, whitespace cleaning.
Reinstate the ordering guarantees for Int{Set.Map}.splitRoot.