added kinds.tex