[JPV,SE] Add Haddock documentation