Started composition.tex

Started writing composition.tex, which will prove the alternate
characterization of AWFS involving composition of coalgebras.

Added a bit to several earlier sections to give necessary background on
monads.