Update declarators.tex