Re: [NTG-context] new type-dis.tex