Updated haddocks in Types.hs.