Report work. Grammar fixes and Hindley-Milner example.