Changes to new dtx partial-declaration syntax