Added diagrams for each composition operator
Changed type synonym quantification variables
Updated documentation
Removed 'enumFrom' and polished Prelude source
'unitU' renamed to 'discard' and 'unitD' removed