correct unit elimination rule

The unit elimination rule had a spurious additional bound variable that has been removed.
notation for left- and right-whiskering

it seems preferable to use a sans-serif subscript to indicate left- and right-whiskering.  prior to this change the subscripts used in the eckmann-hilton proof conflict with the use of l and r as variables.
(Marked) errata for the correction of the unit elimination rule.
be more specific in the definition of the equivalences relating ap_f and apd_f
Errata for 9b8a4b6d, unmarked
Merge pull request #483 from TimRichter/transportconst

be more specific in the definition of the equivalences relating ap_f and apd_f
mark errata for 9b8a4b6d