Working on morphisms of awfs.

Began discussion of morphisms of awfs. Added characterization of
bimonoid morphisms in cyclic.tex.