modify description of (>>=)

show the synonim always above each slide's description.
and omit `m a -> (a -> m b)` from the description
modify header

to clarify the connection with the previous slide
modify some expressions
clarify important points