Doxygen issues

[beojan]

There are a few places where the Doxygen documentation appears to be processed incorrectly. For example, in Functional, a function called mathtt is listed, which seems to contain the documentation for multiple functions. Similarly, MonadPlus has a mathrm listed.