Made Chapter 2 literate agda

Use unicode squares for concatenation