little fixes in report while re-reading Chap3
changed spacing intra-identifiers for agda math mod