Add subterms and recursivelyShrink, and document them.
formatting
A note for the bewildered.
haddock