Improve wording on example code and add MAlonzo code example
Added Coq code that does not fully function
Split content.tex into separate files because performance of syntax highlighting in vim is poor
Tell about 2 new MAlonzo features from Agda 2.3.4