D.C.Types: add Haddock documentation explaining new renderDiaT function
and related things