TeX notation for monad syntax

I thought I had done this before but apparently not. Make do and od
keywords (this was already the case for parmonadsyntax, now it also
works for monadsyntax). Also, fix (I hope - correct if I'm wrong)
parmonadsyntax's length for the left arrow.