Update README.md
Missing definition of compose types, fixes #243
Added missing typechecker messages to LaTeX file.
Switch the new pog over to astcreator 1.6.0
(Also, catch another CRLF file)