refactored creation of TeX styles; refactored structure of both the disitt.dtx and disitt-symbols.dtx; marginally improved disitt and disitt-symbols documentation