Added missing typechecker messages to LaTeX file.