began work on types.tex