Workaround a bug with haddock and pattern synyonyms. Fixed some docs issues.