Missing definition of compose types, fixes #243
Added missing typechecker messages to LaTeX file.