Adding type.dd to LaTeX gen