Beginnings of nicer haddocks.
More haddocks for key types.