A program to check for type errors in a Latex document