Added Haddock comments to newly introduced top-level constructs.