Changes to haddock

Changes to haddock:
commit 039b2346cd7a9998135636146ea234eb9cc0fbab
Author: Dr. ERDI Gergo <gergo@erdi.hu>
Date:   Fri Jan 31 00:55:50 2014 +0800

    Handle infix vs prefix names correctly everywhere, by explicitly specifying the context

    The basic idea is that "a" and "+" are either pretty-printed as "a" and "(+)"  or "`a`" and "+"